<html>
<head>
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/vis/4.16.1/vis.css" type="text/css" />
<script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/vis/4.16.1/vis-network.min.js"> </script>
<center>
<h1></h1>
</center>

<!-- <link rel="stylesheet" href="../node_modules/vis/dist/vis.min.css" type="text/css" />
<script type="text/javascript" src="../node_modules/vis/dist/vis.js"> </script>-->

<style type="text/css">

        #mynetwork {
            width: 100%;
            height: 100%;
            background-color: #222222;
            border: 1px solid lightgray;
            position: relative;
            float: left;
        }

        
        #loadingBar {
            position:absolute;
            top:0px;
            left:0px;
            width: 100%;
            height: 100%;
            background-color:rgba(200,200,200,0.8);
            -webkit-transition: all 0.5s ease;
            -moz-transition: all 0.5s ease;
            -ms-transition: all 0.5s ease;
            -o-transition: all 0.5s ease;
            transition: all 0.5s ease;
            opacity:1;
        }

        #bar {
            position:absolute;
            top:0px;
            left:0px;
            width:20px;
            height:20px;
            margin:auto auto auto auto;
            border-radius:11px;
            border:2px solid rgba(30,30,30,0.05);
            background: rgb(0, 173, 246); /* Old browsers */
            box-shadow: 2px 0px 4px rgba(0,0,0,0.4);
        }

        #border {
            position:absolute;
            top:10px;
            left:10px;
            width:500px;
            height:23px;
            margin:auto auto auto auto;
            box-shadow: 0px 0px 4px rgba(0,0,0,0.2);
            border-radius:10px;
        }

        #text {
            position:absolute;
            top:8px;
            left:530px;
            width:30px;
            height:50px;
            margin:auto auto auto auto;
            font-size:22px;
            color: #000000;
        }

        div.outerBorder {
            position:relative;
            top:400px;
            width:600px;
            height:44px;
            margin:auto auto auto auto;
            border:8px solid rgba(0,0,0,0.1);
            background: rgb(252,252,252); /* Old browsers */
            background: -moz-linear-gradient(top,  rgba(252,252,252,1) 0%, rgba(237,237,237,1) 100%); /* FF3.6+ */
            background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,rgba(252,252,252,1)), color-stop(100%,rgba(237,237,237,1))); /* Chrome,Safari4+ */
            background: -webkit-linear-gradient(top,  rgba(252,252,252,1) 0%,rgba(237,237,237,1) 100%); /* Chrome10+,Safari5.1+ */
            background: -o-linear-gradient(top,  rgba(252,252,252,1) 0%,rgba(237,237,237,1) 100%); /* Opera 11.10+ */
            background: -ms-linear-gradient(top,  rgba(252,252,252,1) 0%,rgba(237,237,237,1) 100%); /* IE10+ */
            background: linear-gradient(to bottom,  rgba(252,252,252,1) 0%,rgba(237,237,237,1) 100%); /* W3C */
            filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#fcfcfc', endColorstr='#ededed',GradientType=0 ); /* IE6-9 */
            border-radius:72px;
            box-shadow: 0px 0px 10px rgba(0,0,0,0.2);
        }
        

        
        #config {
            float: left;
            width: 400px;
            height: 600px;
        }
        

        
</style>

</head>

<body>
<div id = "mynetwork"></div>

<div id="loadingBar">
    <div class="outerBorder">
        <div id="text">0%</div>
        <div id="border">
            <div id="bar"></div>
        </div>
    </div>
</div>


<div id = "config"></div>

<script type="text/javascript">

    // initialize global variables.
    var edges;
    var nodes;
    var network; 
    var container;
    var options, data;

    
    // This method is responsible for drawing the graph, returns the drawn network
    function drawGraph() {
        var container = document.getElementById('mynetwork');
        
        

        // parsing and collecting nodes and edges from the python
        nodes = new vis.DataSet([{"font": {"color": "white"}, "id": "Fail", "label": "Fail", "shape": "dot"}, {"font": {"color": "white"}, "id": "Fail.csv", "label": "Fail.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ByteCodeHex", "label": "ByteCodeHex", "shape": "dot"}, {"font": {"color": "white"}, "id": "bytecode.hex", "label": "bytecode.hex", "shape": "dot"}, {"font": {"color": "white"}, "id": "OpcodePossiblyHalts", "label": "OpcodePossiblyHalts", "shape": "dot"}, {"font": {"color": "white"}, "id": "OpcodePossiblyHalts.csv", "label": "OpcodePossiblyHalts.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Statement_Opcode", "label": "Statement_Opcode", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Op.csv", "label": "TAC_Op.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsStatement", "label": "IsStatement", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Stmt.csv", "label": "TAC_Stmt.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Statement_Block", "label": "Statement_Block", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Block.csv", "label": "TAC_Block.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Variable_Value", "label": "Variable_Value", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Variable_Value.csv", "label": "TAC_Variable_Value.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "BasicVariable_Value", "label": "BasicVariable_Value", "shape": "dot"}, {"font": {"color": "white"}, "id": "Variable_BlockValue", "label": "Variable_BlockValue", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Variable_BlockValue.csv", "label": "TAC_Variable_BlockValue.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "LocalBlockEdge", "label": "LocalBlockEdge", "shape": "dot"}, {"font": {"color": "white"}, "id": "LocalBlockEdge.csv", "label": "LocalBlockEdge.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "FallthroughEdge", "label": "FallthroughEdge", "shape": "dot"}, {"font": {"color": "white"}, "id": "IRFallthroughEdge.csv", "label": "IRFallthroughEdge.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "CallGraphEdge", "label": "CallGraphEdge", "shape": "dot"}, {"font": {"color": "white"}, "id": "IRFunctionCall.csv", "label": "IRFunctionCall.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "FunctionCallReturn", "label": "FunctionCallReturn", "shape": "dot"}, {"font": {"color": "white"}, "id": "IRFunctionCallReturn.csv", "label": "IRFunctionCallReturn.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsFunction", "label": "IsFunction", "shape": "dot"}, {"font": {"color": "white"}, "id": "Function.csv", "label": "Function.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PublicFunctionSelector", "label": "PublicFunctionSelector", "shape": "dot"}, {"font": {"color": "white"}, "id": "PublicFunction.csv", "label": "PublicFunction.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "HighLevelFunctionName", "label": "HighLevelFunctionName", "shape": "dot"}, {"font": {"color": "white"}, "id": "HighLevelFunctionName.csv", "label": "HighLevelFunctionName.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "EventSignatureInContract", "label": "EventSignatureInContract", "shape": "dot"}, {"font": {"color": "white"}, "id": "EventSignatureInContract.csv", "label": "EventSignatureInContract.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ConstantPossibleSigHash", "label": "ConstantPossibleSigHash", "shape": "dot"}, {"font": {"color": "white"}, "id": "ConstantPossibleSigHash.csv", "label": "ConstantPossibleSigHash.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Block_Gas", "label": "Block_Gas", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Block_Gas.csv", "label": "TAC_Block_Gas.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "OriginalStatement_Block", "label": "OriginalStatement_Block", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_OriginalStatement_Block.csv", "label": "TAC_OriginalStatement_Block.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Block_CodeChunkAccessed", "label": "Block_CodeChunkAccessed", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Block_CodeChunkAccessed.csv", "label": "TAC_Block_CodeChunkAccessed.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MaxContextDepth", "label": "MaxContextDepth", "shape": "dot"}, {"font": {"color": "white"}, "id": "MaxContextDepth.csv", "label": "MaxContextDepth.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ActualReturnArgs", "label": "ActualReturnArgs", "shape": "dot"}, {"font": {"color": "white"}, "id": "ActualReturnArgs.csv", "label": "ActualReturnArgs.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "FormalArgs", "label": "FormalArgs", "shape": "dot"}, {"font": {"color": "white"}, "id": "FormalArgs.csv", "label": "FormalArgs.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Statement_Uses", "label": "Statement_Uses", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Use.csv", "label": "TAC_Use.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Statement_Defines", "label": "Statement_Defines", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Def.csv", "label": "TAC_Def.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Statement_Next", "label": "Statement_Next", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Statement_Next.csv", "label": "TAC_Statement_Next.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "FunctionEntry", "label": "FunctionEntry", "shape": "dot"}, {"font": {"color": "white"}, "id": "IRFunctionEntry.csv", "label": "IRFunctionEntry.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "InFunction", "label": "InFunction", "shape": "dot"}, {"font": {"color": "white"}, "id": "InFunction.csv", "label": "InFunction.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Mask_Length", "label": "Mask_Length", "shape": "dot"}, {"font": {"color": "white"}, "id": "Mask_Length.csv", "label": "Mask_Length.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StorageContents", "label": "StorageContents", "shape": "dot"}, {"font": {"color": "white"}, "id": "StorageContents.csv", "label": "StorageContents.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "SHA3Decompositions", "label": "SHA3Decompositions", "shape": "dot"}, {"font": {"color": "white"}, "id": "SHA3Decompositions.csv", "label": "SHA3Decompositions.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_DataFlows", "label": "Analytics_DataFlows", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_DataFlows.csv", "label": "Analytics_DataFlows.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_PolymorphicVariable", "label": "Analytics_PolymorphicVariable", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_PolymorphicVariable.csv", "label": "Analytics_PolymorphicVariable.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StmtMissingOperand", "label": "StmtMissingOperand", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_StmtMissingOperand.csv", "label": "Analytics_StmtMissingOperand.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_MissingDataFlowsToSamePublicFunction", "label": "Analytics_MissingDataFlowsToSamePublicFunction", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_MissingDataFlowsToSamePublicFunction.csv", "label": "Analytics_MissingDataFlowsToSamePublicFunction.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_DataFlowsToDifferentPublicFunction", "label": "Analytics_DataFlowsToDifferentPublicFunction", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_DataFlowsToDifferentPublicFunction.csv", "label": "Analytics_DataFlowsToDifferentPublicFunction.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_LargestFunction", "label": "Analytics_LargestFunction", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_LargestFunction.csv", "label": "Analytics_LargestFunction.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_Variables", "label": "Analytics_Variables", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_Variables.csv", "label": "Analytics_Variables.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "LowBytesMaskOp", "label": "LowBytesMaskOp", "shape": "dot"}, {"font": {"color": "white"}, "id": "LowBytesMaskOp.csv", "label": "LowBytesMaskOp.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "AntiMaskOp", "label": "AntiMaskOp", "shape": "dot"}, {"font": {"color": "white"}, "id": "AntiMaskOp.csv", "label": "AntiMaskOp.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "FromHasNoEdges", "label": "FromHasNoEdges", "shape": "dot"}, {"font": {"color": "white"}, "id": "FromHasNoEdges.csv", "label": "FromHasNoEdges.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "FromHasTwoEdges", "label": "FromHasTwoEdges", "shape": "dot"}, {"font": {"color": "white"}, "id": "FromHasTwoEdges.csv", "label": "FromHasTwoEdges.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Variable_Value.csv", "label": "Variable_Value.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Variable_NumericValue", "label": "Variable_NumericValue", "shape": "dot"}, {"font": {"color": "white"}, "id": "Variable_NumericValue.csv", "label": "Variable_NumericValue.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarPlusThirtyTwo", "label": "VarPlusThirtyTwo", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarPlusThirtyTwo.csv", "label": "VarPlusThirtyTwo.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarPlusConst", "label": "VarPlusConst", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarPlusConst.csv", "label": "VarPlusConst.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarMinusConst", "label": "VarMinusConst", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarMinusConst.csv", "label": "VarMinusConst.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarPlusThrirtyOneAndNotThirtyOne", "label": "VarPlusThrirtyOneAndNotThirtyOne", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarPlusThrirtyOneAndNotThirtyOne.csv", "label": "VarPlusThrirtyOneAndNotThirtyOne.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarPlusSixtyThreeAndNotThirtyOne", "label": "VarPlusSixtyThreeAndNotThirtyOne", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarPlusSixtyThreeAndNotThirtyOne.csv", "label": "VarPlusSixtyThreeAndNotThirtyOne.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarPlusThrirtyOneDivMulSixtyFour", "label": "VarPlusThrirtyOneDivMulSixtyFour", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarPlusThrirtyOneDivMulSixtyFour.csv", "label": "VarPlusThrirtyOneDivMulSixtyFour.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarTimesConstant", "label": "VarTimesConstant", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarTimesConstant.csv", "label": "VarTimesConstant.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarDivByConstant", "label": "VarDivByConstant", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarDivByConstant.csv", "label": "VarDivByConstant.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MSTOREFreePtr", "label": "MSTOREFreePtr", "shape": "dot"}, {"font": {"color": "white"}, "id": "MSTOREFreePtr.csv", "label": "MSTOREFreePtr.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MLOADFreePtr", "label": "MLOADFreePtr", "shape": "dot"}, {"font": {"color": "white"}, "id": "MLOADFreePtr.csv", "label": "MLOADFreePtr.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MLOADFreePtr_To", "label": "MLOADFreePtr_To", "shape": "dot"}, {"font": {"color": "white"}, "id": "MLOADFreePtr_To.csv", "label": "MLOADFreePtr_To.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MSTOREToFreePtrAddr", "label": "MSTOREToFreePtrAddr", "shape": "dot"}, {"font": {"color": "white"}, "id": "MSTOREToFreePtrAddr.csv", "label": "MSTOREToFreePtrAddr.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MSTOREFreePtrOrder", "label": "MSTOREFreePtrOrder", "shape": "dot"}, {"font": {"color": "white"}, "id": "MSTOREFreePtrOrder.csv", "label": "MSTOREFreePtrOrder.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MLOADFreePtrLoadsValueStoredAt", "label": "MLOADFreePtrLoadsValueStoredAt", "shape": "dot"}, {"font": {"color": "white"}, "id": "MLOADFreePtrLoadsValueStoredAt.csv", "label": "MLOADFreePtrLoadsValueStoredAt.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MSTOREFreePtr_IncByAmount", "label": "MSTOREFreePtr_IncByAmount", "shape": "dot"}, {"font": {"color": "white"}, "id": "MSTOREFreePtr_IncByAmount.csv", "label": "MSTOREFreePtr_IncByAmount.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MLOADSFreePtrUnchanged", "label": "MLOADSFreePtrUnchanged", "shape": "dot"}, {"font": {"color": "white"}, "id": "MLOADSFreePtrUnchanged.csv", "label": "MLOADSFreePtrUnchanged.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MLOADSFreePtrUnchangedNoMemReuse", "label": "MLOADSFreePtrUnchangedNoMemReuse", "shape": "dot"}, {"font": {"color": "white"}, "id": "MLOADSFreePtrUnchangedNoMemReuse.csv", "label": "MLOADSFreePtrUnchangedNoMemReuse.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryReadsFromZero", "label": "StatementUsesMemoryReadsFromZero", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryReadsFromZero.csv", "label": "StatementUsesMemoryReadsFromZero.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Variable_SymbolicValue", "label": "Variable_SymbolicValue", "shape": "dot"}, {"font": {"color": "white"}, "id": "Variable_SymbolicValue.csv", "label": "Variable_SymbolicValue.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "FreePointerBasedValue", "label": "FreePointerBasedValue", "shape": "dot"}, {"font": {"color": "white"}, "id": "FreePointerBasedValue.csv", "label": "FreePointerBasedValue.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "FreePointerBasedValuesWithFreePointerAliases", "label": "FreePointerBasedValuesWithFreePointerAliases", "shape": "dot"}, {"font": {"color": "white"}, "id": "FreePointerBasedValuesWithFreePointerAliases.csv", "label": "FreePointerBasedValuesWithFreePointerAliases.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "FreePointerBasedValuesNumDiff", "label": "FreePointerBasedValuesNumDiff", "shape": "dot"}, {"font": {"color": "white"}, "id": "FreePointerBasedValuesNumDiff.csv", "label": "FreePointerBasedValuesNumDiff.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "FreePointerBasedValuesWithFreePointerAliasesNumVals", "label": "FreePointerBasedValuesWithFreePointerAliasesNumVals", "shape": "dot"}, {"font": {"color": "white"}, "id": "FreePointerBasedValuesWithFreePointerAliasesNumVals.csv", "label": "FreePointerBasedValuesWithFreePointerAliasesNumVals.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "FreePointerBasedValuesEqual", "label": "FreePointerBasedValuesEqual", "shape": "dot"}, {"font": {"color": "white"}, "id": "FreePointerBasedValuesEqual.csv", "label": "FreePointerBasedValuesEqual.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "FreePointerBasedValue_AliasRep", "label": "FreePointerBasedValue_AliasRep", "shape": "dot"}, {"font": {"color": "white"}, "id": "FreePointerBasedValue_AliasRep.csv", "label": "FreePointerBasedValue_AliasRep.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "VariableLengthMemoryCopyStatement", "label": "VariableLengthMemoryCopyStatement", "shape": "dot"}, {"font": {"color": "white"}, "id": "VariableLengthMemoryCopyStatement.csv", "label": "VariableLengthMemoryCopyStatement.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PartialMSTORE", "label": "PartialMSTORE", "shape": "dot"}, {"font": {"color": "white"}, "id": "PartialMSTORE.csv", "label": "PartialMSTORE.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "LShiftBytes", "label": "LShiftBytes", "shape": "dot"}, {"font": {"color": "white"}, "id": "LShiftBytes.csv", "label": "LShiftBytes.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemory", "label": "StatementUsesMemory", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemory.csv", "label": "StatementUsesMemory.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemory_StartVar", "label": "StatementUsesMemory_StartVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemory_StartVar.csv", "label": "StatementUsesMemory_StartVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemory_LengthVar", "label": "StatementUsesMemory_LengthVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemory_LengthVar.csv", "label": "StatementUsesMemory_LengthVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryReadsRawData", "label": "StatementUsesMemoryReadsRawData", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryReadsRawData.csv", "label": "StatementUsesMemoryReadsRawData.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryReadsABIEnc", "label": "StatementUsesMemoryReadsABIEnc", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryReadsABIEnc.csv", "label": "StatementUsesMemoryReadsABIEnc.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryReadsABIEncWSelector", "label": "StatementUsesMemoryReadsABIEncWSelector", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryReadsABIEncWSelector.csv", "label": "StatementUsesMemoryReadsABIEncWSelector.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryOfInitiallyComputableLength", "label": "StatementUsesMemoryOfInitiallyComputableLength", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryOfInitiallyComputableLength.csv", "label": "StatementUsesMemoryOfInitiallyComputableLength.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryOfComputableLength", "label": "StatementUsesMemoryOfComputableLength", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryOfComputableLength.csv", "label": "StatementUsesMemoryOfComputableLength.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryOfNonComputableLength", "label": "StatementUsesMemoryOfNonComputableLength", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryOfNonComputableLength.csv", "label": "StatementUsesMemoryOfNonComputableLength.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementWritesMemoryOfConstantLength", "label": "StatementWritesMemoryOfConstantLength", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementWritesMemoryOfConstantLength.csv", "label": "StatementWritesMemoryOfConstantLength.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementWritesMemoryOfLength", "label": "StatementWritesMemoryOfLength", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementWritesMemoryOfLength.csv", "label": "StatementWritesMemoryOfLength.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementReadsMemoryOfConstantLength", "label": "StatementReadsMemoryOfConstantLength", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementReadsMemoryOfConstantLength.csv", "label": "StatementReadsMemoryOfConstantLength.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemoryAddressVarsNumDiff", "label": "MemoryAddressVarsNumDiff", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemoryAddressVarsNumDiff.csv", "label": "MemoryAddressVarsNumDiff.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmt", "label": "MemWriteToMemConsStmt", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmt.csv", "label": "MemWriteToMemConsStmt.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "InitialMemWriteToMemConsStmtWithNonComputableLength", "label": "InitialMemWriteToMemConsStmtWithNonComputableLength", "shape": "dot"}, {"font": {"color": "white"}, "id": "InitialMemWriteToMemConsStmtWithNonComputableLength.csv", "label": "InitialMemWriteToMemConsStmtWithNonComputableLength.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtWithNonComputableLength", "label": "MemWriteToMemConsStmtWithNonComputableLength", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtWithNonComputableLength.csv", "label": "MemWriteToMemConsStmtWithNonComputableLength.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtWithConstantLength", "label": "MemWriteToMemConsStmtWithConstantLength", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtWithConstantLength.csv", "label": "MemWriteToMemConsStmtWithConstantLength.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementWritesMemoryOfConstantLengthAtMemAlias", "label": "StatementWritesMemoryOfConstantLengthAtMemAlias", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementWritesMemoryOfConstantLengthAtMemAlias.csv", "label": "StatementWritesMemoryOfConstantLengthAtMemAlias.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementReadsMemoryOfConstantLengthAtMemAlias", "label": "StatementReadsMemoryOfConstantLengthAtMemAlias", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementReadsMemoryOfConstantLengthAtMemAlias.csv", "label": "StatementReadsMemoryOfConstantLengthAtMemAlias.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryOfNonComputableLength_LengthApprox", "label": "StatementUsesMemoryOfNonComputableLength_LengthApprox", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryOfNonComputableLength_LengthApprox.csv", "label": "StatementUsesMemoryOfNonComputableLength_LengthApprox.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtInfoInit", "label": "MemWriteToMemConsStmtInfoInit", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtInfoInit.csv", "label": "MemWriteToMemConsStmtInfoInit.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtInfo", "label": "MemWriteToMemConsStmtInfo", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtInfo.csv", "label": "MemWriteToMemConsStmtInfo.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtInvalid", "label": "MemWriteToMemConsStmtInvalid", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtInvalid.csv", "label": "MemWriteToMemConsStmtInvalid.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtUpperLimit", "label": "MemWriteToMemConsStmtUpperLimit", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtUpperLimit.csv", "label": "MemWriteToMemConsStmtUpperLimit.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtLowerLimit", "label": "MemWriteToMemConsStmtLowerLimit", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtLowerLimit.csv", "label": "MemWriteToMemConsStmtLowerLimit.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtPartOfPrev", "label": "MemWriteToMemConsStmtPartOfPrev", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtPartOfPrev.csv", "label": "MemWriteToMemConsStmtPartOfPrev.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtResolved", "label": "MemWriteToMemConsStmtResolved", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemWriteToMemConsStmtResolved.csv", "label": "MemWriteToMemConsStmtResolved.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MSTOREToMemConsStmtWritesShiftedVar", "label": "MSTOREToMemConsStmtWritesShiftedVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "MSTOREToMemConsStmtWritesShiftedVar.csv", "label": "MSTOREToMemConsStmtWritesShiftedVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MSTOREToMemConsStmt_WrittenVar", "label": "MSTOREToMemConsStmt_WrittenVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "MSTOREToMemConsStmt_WrittenVar.csv", "label": "MSTOREToMemConsStmt_WrittenVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MSTOREToMemConsStmt_WrittenValue", "label": "MSTOREToMemConsStmt_WrittenValue", "shape": "dot"}, {"font": {"color": "white"}, "id": "MSTOREToMemConsStmt_WrittenValue.csv", "label": "MSTOREToMemConsStmt_WrittenValue.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsCallDataArrayVar", "label": "IsCallDataArrayVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsCallDataArrayVar.csv", "label": "IsCallDataArrayVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsRegularArrayVar", "label": "IsRegularArrayVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsRegularArrayVar.csv", "label": "IsRegularArrayVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsRawDataArrayVar", "label": "IsRawDataArrayVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsRawDataArrayVar.csv", "label": "IsRawDataArrayVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsABIEncodedArrayVar", "label": "IsABIEncodedArrayVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsABIEncodedArrayVar.csv", "label": "IsABIEncodedArrayVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "CallDataLoadReadsLength", "label": "CallDataLoadReadsLength", "shape": "dot"}, {"font": {"color": "white"}, "id": "CallDataLoadReadsLength.csv", "label": "CallDataLoadReadsLength.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "CallDataCopyArgInfo", "label": "CallDataCopyArgInfo", "shape": "dot"}, {"font": {"color": "white"}, "id": "CallDataCopyArgInfo.csv", "label": "CallDataCopyArgInfo.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Array_ElementLength", "label": "Array_ElementLength", "shape": "dot"}, {"font": {"color": "white"}, "id": "Array_ElementLength.csv", "label": "Array_ElementLength.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayVarLengthVar", "label": "ArrayVarLengthVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayVarLengthVar.csv", "label": "ArrayVarLengthVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayDataStartVar", "label": "ArrayDataStartVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayDataStartVar.csv", "label": "ArrayDataStartVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArgArrayLenWrittenTo", "label": "ArgArrayLenWrittenTo", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArgArrayLenWrittenTo.csv", "label": "ArgArrayLenWrittenTo.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayIndexAccess", "label": "ArrayIndexAccess", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayIndexAccess.csv", "label": "ArrayIndexAccess.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "CallDataArrayGet", "label": "CallDataArrayGet", "shape": "dot"}, {"font": {"color": "white"}, "id": "CallDataArrayGet.csv", "label": "CallDataArrayGet.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemArrayGet", "label": "MemArrayGet", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemArrayGet.csv", "label": "MemArrayGet.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemArrayPut", "label": "MemArrayPut", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemArrayPut.csv", "label": "MemArrayPut.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemory_UsesArray", "label": "StatementUsesMemory_UsesArray", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemory_UsesArray.csv", "label": "StatementUsesMemory_UsesArray.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayLoad", "label": "ArrayLoad", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayLoad.csv", "label": "ArrayLoad.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayStore", "label": "ArrayStore", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayStore.csv", "label": "ArrayStore.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayWriteToRelativeIndex", "label": "ArrayWriteToRelativeIndex", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayWriteToRelativeIndex.csv", "label": "ArrayWriteToRelativeIndex.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayHasConstantLength", "label": "ArrayHasConstantLength", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayHasConstantLength.csv", "label": "ArrayHasConstantLength.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleArray", "label": "PossibleArray", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleArray.csv", "label": "PossibleArray.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleArrayLoose", "label": "PossibleArrayLoose", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleArrayLoose.csv", "label": "PossibleArrayLoose.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayFromArray", "label": "ArrayFromArray", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayFromArray.csv", "label": "ArrayFromArray.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayAllocationInternal", "label": "ArrayAllocationInternal", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayAllocationInternal.csv", "label": "ArrayAllocationInternal.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayAllocation", "label": "ArrayAllocation", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayAllocation.csv", "label": "ArrayAllocation.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ReturnDataByteArray", "label": "ReturnDataByteArray", "shape": "dot"}, {"font": {"color": "white"}, "id": "ReturnDataByteArray.csv", "label": "ReturnDataByteArray.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayActualArg", "label": "ArrayActualArg", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayActualArg.csv", "label": "ArrayActualArg.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayDataActualArg", "label": "ArrayDataActualArg", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArrayDataActualArg.csv", "label": "ArrayDataActualArg.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleArrayCopy", "label": "PossibleArrayCopy", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleArrayCopy.csv", "label": "PossibleArrayCopy.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleArrayAlias", "label": "PossibleArrayAlias", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleArrayAlias.csv", "label": "PossibleArrayAlias.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "RegularArrayVarsInSameClass", "label": "RegularArrayVarsInSameClass", "shape": "dot"}, {"font": {"color": "white"}, "id": "RegularArrayVarsInSameClass.csv", "label": "RegularArrayVarsInSameClass.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "RawDataArrayVarsInSameClass", "label": "RawDataArrayVarsInSameClass", "shape": "dot"}, {"font": {"color": "white"}, "id": "RawDataArrayVarsInSameClass.csv", "label": "RawDataArrayVarsInSameClass.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "RawDataArrayVar_ClassRep", "label": "RawDataArrayVar_ClassRep", "shape": "dot"}, {"font": {"color": "white"}, "id": "RawDataArrayVar_ClassRep.csv", "label": "RawDataArrayVar_ClassRep.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "RegularArrayVar_ClassRep", "label": "RegularArrayVar_ClassRep", "shape": "dot"}, {"font": {"color": "white"}, "id": "RegularArrayVar_ClassRep.csv", "label": "RegularArrayVar_ClassRep.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayVarsInSameClass", "label": "ABIEncodedArrayVarsInSameClass", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayVarsInSameClass.csv", "label": "ABIEncodedArrayVarsInSameClass.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayVar_ClassRep", "label": "ABIEncodedArrayVar_ClassRep", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayVar_ClassRep.csv", "label": "ABIEncodedArrayVar_ClassRep.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarIsArray", "label": "VarIsArray", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarIsArray.csv", "label": "VarIsArray.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "InductionVariable", "label": "InductionVariable", "shape": "dot"}, {"font": {"color": "white"}, "id": "InductionVariable.csv", "label": "InductionVariable.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "InductionVariableIncreasesByConst", "label": "InductionVariableIncreasesByConst", "shape": "dot"}, {"font": {"color": "white"}, "id": "InductionVariableIncreasesByConst.csv", "label": "InductionVariableIncreasesByConst.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "InductionVariableDecreasesByConst", "label": "InductionVariableDecreasesByConst", "shape": "dot"}, {"font": {"color": "white"}, "id": "InductionVariableDecreasesByConst.csv", "label": "InductionVariableDecreasesByConst.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "InductionVariableStartsAtConst", "label": "InductionVariableStartsAtConst", "shape": "dot"}, {"font": {"color": "white"}, "id": "InductionVariableStartsAtConst.csv", "label": "InductionVariableStartsAtConst.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "InductionVariableLowerBoundVar", "label": "InductionVariableLowerBoundVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "InductionVariableLowerBoundVar.csv", "label": "InductionVariableLowerBoundVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "InductionVariableUpperBoundVar", "label": "InductionVariableUpperBoundVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "InductionVariableUpperBoundVar.csv", "label": "InductionVariableUpperBoundVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "WellFromedLoopInductionVariable", "label": "WellFromedLoopInductionVariable", "shape": "dot"}, {"font": {"color": "white"}, "id": "WellFromedLoopInductionVariable.csv", "label": "WellFromedLoopInductionVariable.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemoryCopyLoop", "label": "MemoryCopyLoop", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemoryCopyLoop.csv", "label": "MemoryCopyLoop.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemoryCopyLoopConstLength", "label": "MemoryCopyLoopConstLength", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemoryCopyLoopConstLength.csv", "label": "MemoryCopyLoopConstLength.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementWritesMemoryCopiedFromLoop", "label": "StatementWritesMemoryCopiedFromLoop", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementWritesMemoryCopiedFromLoop.csv", "label": "StatementWritesMemoryCopiedFromLoop.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PublicFunctionArg", "label": "PublicFunctionArg", "shape": "dot"}, {"font": {"color": "white"}, "id": "PublicFunctionArg.csv", "label": "PublicFunctionArg.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemory_ActualMemoryArg", "label": "StatementUsesMemory_ActualMemoryArg", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemory_ActualMemoryArg.csv", "label": "StatementUsesMemory_ActualMemoryArg.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryMemoryArgument", "label": "StatementUsesMemoryMemoryArgument", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryMemoryArgument.csv", "label": "StatementUsesMemoryMemoryArgument.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryMemoryArgumentNew", "label": "StatementUsesMemoryMemoryArgumentNew", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryMemoryArgumentNew.csv", "label": "StatementUsesMemoryMemoryArgumentNew.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemory_ActualArg", "label": "StatementUsesMemory_ActualArg", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemory_ActualArg.csv", "label": "StatementUsesMemory_ActualArg.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryWriteAtRelativeIndex", "label": "StatementUsesMemoryWriteAtRelativeIndex", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryWriteAtRelativeIndex.csv", "label": "StatementUsesMemoryWriteAtRelativeIndex.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryWriteAtRelativeIndex_Order", "label": "StatementUsesMemoryWriteAtRelativeIndex_Order", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryWriteAtRelativeIndex_Order.csv", "label": "StatementUsesMemoryWriteAtRelativeIndex_Order.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryWritesAtRelativeIndexOrdered", "label": "StatementUsesMemoryWritesAtRelativeIndexOrdered", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryWritesAtRelativeIndexOrdered.csv", "label": "StatementUsesMemoryWritesAtRelativeIndexOrdered.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryWritesAtRelativeIndexNotNext", "label": "StatementUsesMemoryWritesAtRelativeIndexNotNext", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryWritesAtRelativeIndexNotNext.csv", "label": "StatementUsesMemoryWritesAtRelativeIndexNotNext.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryWritesAtRelativeIndexNext", "label": "StatementUsesMemoryWritesAtRelativeIndexNext", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementUsesMemoryWritesAtRelativeIndexNext.csv", "label": "StatementUsesMemoryWritesAtRelativeIndexNext.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemoryStatement_ActualArgNew", "label": "MemoryStatement_ActualArgNew", "shape": "dot"}, {"font": {"color": "white"}, "id": "MemoryStatement_ActualArgNew.csv", "label": "MemoryStatement_ActualArgNew.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayIncludesArray", "label": "ABIEncodedArrayIncludesArray", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayIncludesArray.csv", "label": "ABIEncodedArrayIncludesArray.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayWFunctionSelector", "label": "ABIEncodedArrayWFunctionSelector", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayWFunctionSelector.csv", "label": "ABIEncodedArrayWFunctionSelector.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayNoFunctionSelector", "label": "ABIEncodedArrayNoFunctionSelector", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayNoFunctionSelector.csv", "label": "ABIEncodedArrayNoFunctionSelector.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayIncludesArrayAtConcreteIndex", "label": "ABIEncodedArrayIncludesArrayAtConcreteIndex", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayIncludesArrayAtConcreteIndex.csv", "label": "ABIEncodedArrayIncludesArrayAtConcreteIndex.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayWriteTo", "label": "ABIEncodedArrayWriteTo", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayWriteTo.csv", "label": "ABIEncodedArrayWriteTo.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayHasVarAtIndex", "label": "ABIEncodedArrayHasVarAtIndex", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayHasVarAtIndex.csv", "label": "ABIEncodedArrayHasVarAtIndex.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayWriteToIsNotArrayOrLen", "label": "ABIEncodedArrayWriteToIsNotArrayOrLen", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayWriteToIsNotArrayOrLen.csv", "label": "ABIEncodedArrayWriteToIsNotArrayOrLen.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayReadByStmt", "label": "ABIEncodedArrayReadByStmt", "shape": "dot"}, {"font": {"color": "white"}, "id": "ABIEncodedArrayReadByStmt.csv", "label": "ABIEncodedArrayReadByStmt.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "WriteToArrayUsedByABIEncodedArray", "label": "WriteToArrayUsedByABIEncodedArray", "shape": "dot"}, {"font": {"color": "white"}, "id": "WriteToArrayUsedByABIEncodedArray.csv", "label": "WriteToArrayUsedByABIEncodedArray.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ExternalCallTakesWholeCallData", "label": "ExternalCallTakesWholeCallData", "shape": "dot"}, {"font": {"color": "white"}, "id": "ExternalCallTakesWholeCallData.csv", "label": "ExternalCallTakesWholeCallData.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArbitraryCall", "label": "ArbitraryCall", "shape": "dot"}, {"font": {"color": "white"}, "id": "ArbitraryCall.csv", "label": "ArbitraryCall.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "CALLReturnDataStartVar", "label": "CALLReturnDataStartVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "CALLReturnDataStartVar.csv", "label": "CALLReturnDataStartVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "CALLReturnDataLengthVar", "label": "CALLReturnDataLengthVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "CALLReturnDataLengthVar.csv", "label": "CALLReturnDataLengthVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "CALLReturnsFixedSizeData", "label": "CALLReturnsFixedSizeData", "shape": "dot"}, {"font": {"color": "white"}, "id": "CALLReturnsFixedSizeData.csv", "label": "CALLReturnsFixedSizeData.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "CALLReturnsArray", "label": "CALLReturnsArray", "shape": "dot"}, {"font": {"color": "white"}, "id": "CALLReturnsArray.csv", "label": "CALLReturnsArray.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "CALLReturnsNoData", "label": "CALLReturnsNoData", "shape": "dot"}, {"font": {"color": "white"}, "id": "CALLReturnsNoData.csv", "label": "CALLReturnsNoData.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "AllCALLsClassified", "label": "AllCALLsClassified", "shape": "dot"}, {"font": {"color": "white"}, "id": "AllCALLsClassified.csv", "label": "AllCALLsClassified.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "RETURNDATACOPYOfCALL", "label": "RETURNDATACOPYOfCALL", "shape": "dot"}, {"font": {"color": "white"}, "id": "RETURNDATACOPYOfCALL.csv", "label": "RETURNDATACOPYOfCALL.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "RETURNDATACOPYAllDataOfCALL", "label": "RETURNDATACOPYAllDataOfCALL", "shape": "dot"}, {"font": {"color": "white"}, "id": "RETURNDATACOPYAllDataOfCALL.csv", "label": "RETURNDATACOPYAllDataOfCALL.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "RETURNDATASIZEOfCALL", "label": "RETURNDATASIZEOfCALL", "shape": "dot"}, {"font": {"color": "white"}, "id": "RETURNDATASIZEOfCALL.csv", "label": "RETURNDATASIZEOfCALL.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MLOADReadsReturnOfCALL", "label": "MLOADReadsReturnOfCALL", "shape": "dot"}, {"font": {"color": "white"}, "id": "MLOADReadsReturnOfCALL.csv", "label": "MLOADReadsReturnOfCALL.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ExternalCall_ActualReturn", "label": "ExternalCall_ActualReturn", "shape": "dot"}, {"font": {"color": "white"}, "id": "ExternalCall_ActualReturn.csv", "label": "ExternalCall_ActualReturn.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "CDArg", "label": "CDArg", "shape": "dot"}, {"font": {"color": "white"}, "id": "CDArg.csv", "label": "CDArg.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ValueIsPossibleSigHash", "label": "ValueIsPossibleSigHash", "shape": "dot"}, {"font": {"color": "white"}, "id": "ValueIsPossibleSigHash.csv", "label": "ValueIsPossibleSigHash.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Helper_BigValueFilter", "label": "Helper_BigValueFilter", "shape": "dot"}, {"font": {"color": "white"}, "id": "Helper_BigValueFilter.csv", "label": "Helper_BigValueFilter.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Helper_Zeros", "label": "Helper_Zeros", "shape": "dot"}, {"font": {"color": "white"}, "id": "Helper_Zeros.csv", "label": "Helper_Zeros.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "EcrecoverCompilerBug", "label": "EcrecoverCompilerBug", "shape": "dot"}, {"font": {"color": "white"}, "id": "EcrecoverCompilerBug.csv", "label": "EcrecoverCompilerBug.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_ERC20TransferCall", "label": "Analytics_ERC20TransferCall", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_ERC20TransferCall.csv", "label": "Analytics_ERC20TransferCall.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_ERC20TransferFromCall", "label": "Analytics_ERC20TransferFromCall", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_ERC20TransferFromCall.csv", "label": "Analytics_ERC20TransferFromCall.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_ERC20ApproveCall", "label": "Analytics_ERC20ApproveCall", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_ERC20ApproveCall.csv", "label": "Analytics_ERC20ApproveCall.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_CallWithSig", "label": "Analytics_CallWithSig", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_CallWithSig.csv", "label": "Analytics_CallWithSig.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_MemConsStmtUsesFromDistinctPaths", "label": "Analytics_MemConsStmtUsesFromDistinctPaths", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_MemConsStmtUsesFromDistinctPaths.csv", "label": "Analytics_MemConsStmtUsesFromDistinctPaths.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_NonModeledMSTORE", "label": "Analytics_NonModeledMSTORE", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_NonModeledMSTORE.csv", "label": "Analytics_NonModeledMSTORE.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_NonModeledMLOAD", "label": "Analytics_NonModeledMLOAD", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_NonModeledMLOAD.csv", "label": "Analytics_NonModeledMLOAD.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_PublicFunctionArg", "label": "Analytics_PublicFunctionArg", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_PublicFunctionArg.csv", "label": "Analytics_PublicFunctionArg.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_PublicFunctionArrayArg", "label": "Analytics_PublicFunctionArrayArg", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_PublicFunctionArrayArg.csv", "label": "Analytics_PublicFunctionArrayArg.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "NonModeledMSTORE", "label": "NonModeledMSTORE", "shape": "dot"}, {"font": {"color": "white"}, "id": "NonModeledMSTORE.csv", "label": "NonModeledMSTORE.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Verbatim_AllVsModeledMSTOREs", "label": "Verbatim_AllVsModeledMSTOREs", "shape": "dot"}, {"font": {"color": "white"}, "id": "Verbatim_AllVsModeledMSTOREs.csv", "label": "Verbatim_AllVsModeledMSTOREs.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Verbatim_AllVsModeledMLOADs", "label": "Verbatim_AllVsModeledMLOADs", "shape": "dot"}, {"font": {"color": "white"}, "id": "Verbatim_AllVsModeledMLOADs.csv", "label": "Verbatim_AllVsModeledMLOADs.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Verbatim_MemConsStmtsLengths", "label": "Verbatim_MemConsStmtsLengths", "shape": "dot"}, {"font": {"color": "white"}, "id": "Verbatim_MemConsStmtsLengths.csv", "label": "Verbatim_MemConsStmtsLengths.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Verbatim_CDLAllVSStaticVSArr", "label": "Verbatim_CDLAllVSStaticVSArr", "shape": "dot"}, {"font": {"color": "white"}, "id": "Verbatim_CDLAllVSStaticVSArr.csv", "label": "Verbatim_CDLAllVSStaticVSArr.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_LenVarHasManyVars", "label": "Analytics_LenVarHasManyVars", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_LenVarHasManyVars.csv", "label": "Analytics_LenVarHasManyVars.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "SHA3NoActualArgs", "label": "SHA3NoActualArgs", "shape": "dot"}, {"font": {"color": "white"}, "id": "SHA3NoActualArgs.csv", "label": "SHA3NoActualArgs.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementConsumesMemoryNoArgs", "label": "StatementConsumesMemoryNoArgs", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementConsumesMemoryNoArgs.csv", "label": "StatementConsumesMemoryNoArgs.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "NonModeledMLOAD", "label": "NonModeledMLOAD", "shape": "dot"}, {"font": {"color": "white"}, "id": "NonModeledMLOAD.csv", "label": "NonModeledMLOAD.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "SHA3_KnownContent", "label": "SHA3_KnownContent", "shape": "dot"}, {"font": {"color": "white"}, "id": "SHA3_KnownContent.csv", "label": "SHA3_KnownContent.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "CallToSignatureFromSHA3", "label": "CallToSignatureFromSHA3", "shape": "dot"}, {"font": {"color": "white"}, "id": "CallToSignatureFromSHA3.csv", "label": "CallToSignatureFromSHA3.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "CallToSignature", "label": "CallToSignature", "shape": "dot"}, {"font": {"color": "white"}, "id": "CallToSignature.csv", "label": "CallToSignature.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ERC20TransferCall", "label": "ERC20TransferCall", "shape": "dot"}, {"font": {"color": "white"}, "id": "ERC20TransferCall.csv", "label": "ERC20TransferCall.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ERC20TransferFromCall", "label": "ERC20TransferFromCall", "shape": "dot"}, {"font": {"color": "white"}, "id": "ERC20TransferFromCall.csv", "label": "ERC20TransferFromCall.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ERC20ApproveCall", "label": "ERC20ApproveCall", "shape": "dot"}, {"font": {"color": "white"}, "id": "ERC20ApproveCall.csv", "label": "ERC20ApproveCall.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_CallToSignature", "label": "Analytics_CallToSignature", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_CallToSignature.csv", "label": "Analytics_CallToSignature.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_EventSignature", "label": "Analytics_EventSignature", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_EventSignature.csv", "label": "Analytics_EventSignature.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "FunctionToInline", "label": "FunctionToInline", "shape": "dot"}, {"font": {"color": "white"}, "id": "FunctionToInline.csv", "label": "FunctionToInline.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "SafelyInlinableFunction", "label": "SafelyInlinableFunction", "shape": "dot"}, {"font": {"color": "white"}, "id": "SafelyInlinableFunction.csv", "label": "SafelyInlinableFunction.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "FunHasArgMismatch", "label": "FunHasArgMismatch", "shape": "dot"}, {"font": {"color": "white"}, "id": "FunHasArgMismatch.csv", "label": "FunHasArgMismatch.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "FunHasRetMismatch", "label": "FunHasRetMismatch", "shape": "dot"}, {"font": {"color": "white"}, "id": "FunHasRetMismatch.csv", "label": "FunHasRetMismatch.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Function_Exit", "label": "Function_Exit", "shape": "dot"}, {"font": {"color": "white"}, "id": "Function_Exit.csv", "label": "Function_Exit.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "InVar_OutVar", "label": "InVar_OutVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "InVar_OutVar.csv", "label": "InVar_OutVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ClonedCallArgs", "label": "ClonedCallArgs", "shape": "dot"}, {"font": {"color": "white"}, "id": "ClonedCallArgs.csv", "label": "ClonedCallArgs.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ClonedCallRets", "label": "ClonedCallRets", "shape": "dot"}, {"font": {"color": "white"}, "id": "ClonedCallRets.csv", "label": "ClonedCallRets.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "FunctionToInline_RetStmt", "label": "FunctionToInline_RetStmt", "shape": "dot"}, {"font": {"color": "white"}, "id": "FunctionToInline_RetStmt.csv", "label": "FunctionToInline_RetStmt.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "CallToClonedFunction", "label": "CallToClonedFunction", "shape": "dot"}, {"font": {"color": "white"}, "id": "CallToClonedFunction.csv", "label": "CallToClonedFunction.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockToClone", "label": "BlockToClone", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockToClone.csv", "label": "BlockToClone.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementToClone", "label": "StatementToClone", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementToClone.csv", "label": "StatementToClone.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "VariableToClone", "label": "VariableToClone", "shape": "dot"}, {"font": {"color": "white"}, "id": "VariableToClone.csv", "label": "VariableToClone.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "InlineCandidate", "label": "InlineCandidate", "shape": "dot"}, {"font": {"color": "white"}, "id": "InlineCandidate.csv", "label": "InlineCandidate.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "NeedsMoreInlining", "label": "NeedsMoreInlining", "shape": "dot"}, {"font": {"color": "white"}, "id": "NeedsMoreInlining.csv", "label": "NeedsMoreInlining.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_Statement_Opcode", "label": "inliner.Out_Statement_Opcode", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_IsStatement", "label": "inliner.Out_IsStatement", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_Statement_Block", "label": "inliner.Out_Statement_Block", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_Variable_Value", "label": "inliner.Out_Variable_Value", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_Variable_BlockValue", "label": "inliner.Out_Variable_BlockValue", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_LocalBlockEdge", "label": "inliner.Out_LocalBlockEdge", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_FallthroughEdge", "label": "inliner.Out_FallthroughEdge", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_CallGraphEdge", "label": "inliner.Out_CallGraphEdge", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_FunctionCallReturn", "label": "inliner.Out_FunctionCallReturn", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_IsFunction", "label": "inliner.Out_IsFunction", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_Block_Gas", "label": "inliner.Out_Block_Gas", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_Block_CodeChunkAccessed", "label": "inliner.Out_Block_CodeChunkAccessed", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_OriginalStatement_Block", "label": "inliner.Out_OriginalStatement_Block", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_FormalArgs", "label": "inliner.Out_FormalArgs", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_Statement_Uses", "label": "inliner.Out_Statement_Uses", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_Statement_Defines", "label": "inliner.Out_Statement_Defines", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_Statement_Next", "label": "inliner.Out_Statement_Next", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_FunctionEntry", "label": "inliner.Out_FunctionEntry", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_InFunction", "label": "inliner.Out_InFunction", "shape": "dot"}, {"font": {"color": "white"}, "id": "inliner.Out_ActualReturnArgs", "label": "inliner.Out_ActualReturnArgs", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleStorageIndex", "label": "PossibleStorageIndex", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleStorageIndex.csv", "label": "PossibleStorageIndex.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsStorageIndex", "label": "IsStorageIndex", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsStorageIndex.csv", "label": "IsStorageIndex.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsStorageConstruct", "label": "IsStorageConstruct", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsStorageConstruct.csv", "label": "IsStorageConstruct.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "CompositeStorageIndex_Info", "label": "CompositeStorageIndex_Info", "shape": "dot"}, {"font": {"color": "white"}, "id": "CompositeStorageIndex_Info.csv", "label": "CompositeStorageIndex_Info.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Variable_StorageIndex", "label": "Variable_StorageIndex", "shape": "dot"}, {"font": {"color": "white"}, "id": "Variable_StorageIndex.csv", "label": "Variable_StorageIndex.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StorageAccessStmt", "label": "StorageAccessStmt", "shape": "dot"}, {"font": {"color": "white"}, "id": "StorageAccessStmt.csv", "label": "StorageAccessStmt.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "NewModelKnownStore", "label": "NewModelKnownStore", "shape": "dot"}, {"font": {"color": "white"}, "id": "NewModelKnownStore.csv", "label": "NewModelKnownStore.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "NewModelKnownLoad", "label": "NewModelKnownLoad", "shape": "dot"}, {"font": {"color": "white"}, "id": "NewModelKnownLoad.csv", "label": "NewModelKnownLoad.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Verbatim_NewModelKnownAndAllStores", "label": "Verbatim_NewModelKnownAndAllStores", "shape": "dot"}, {"font": {"color": "white"}, "id": "Verbatim_NewModelKnownAndAllStores.csv", "label": "Verbatim_NewModelKnownAndAllStores.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Verbatim_NewModelKnownAndAllLoads", "label": "Verbatim_NewModelKnownAndAllLoads", "shape": "dot"}, {"font": {"color": "white"}, "id": "Verbatim_NewModelKnownAndAllLoads.csv", "label": "Verbatim_NewModelKnownAndAllLoads.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "NewModelIsUnknownLoad", "label": "NewModelIsUnknownLoad", "shape": "dot"}, {"font": {"color": "white"}, "id": "NewModelIsUnknownLoad.csv", "label": "NewModelIsUnknownLoad.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "NewModelIsUnknownStore", "label": "NewModelIsUnknownStore", "shape": "dot"}, {"font": {"color": "white"}, "id": "NewModelIsUnknownStore.csv", "label": "NewModelIsUnknownStore.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "NewModelAllStoresKnown", "label": "NewModelAllStoresKnown", "shape": "dot"}, {"font": {"color": "white"}, "id": "NewModelAllStoresKnown.csv", "label": "NewModelAllStoresKnown.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "NewModelAllLoadsKnown", "label": "NewModelAllLoadsKnown", "shape": "dot"}, {"font": {"color": "white"}, "id": "NewModelAllLoadsKnown.csv", "label": "NewModelAllLoadsKnown.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "NewModelAllStorageOpsKnown", "label": "NewModelAllStorageOpsKnown", "shape": "dot"}, {"font": {"color": "white"}, "id": "NewModelAllStorageOpsKnown.csv", "label": "NewModelAllStorageOpsKnown.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "NewModelHasStorageOpsUnknown", "label": "NewModelHasStorageOpsUnknown", "shape": "dot"}, {"font": {"color": "white"}, "id": "NewModelHasStorageOpsUnknown.csv", "label": "NewModelHasStorageOpsUnknown.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarHoldsBytesOfStorVarFinal", "label": "VarHoldsBytesOfStorVarFinal", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarHoldsBytesOfStorVarFinal.csv", "label": "VarHoldsBytesOfStorVarFinal.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarWrittenToBytesOfStorVar", "label": "VarWrittenToBytesOfStorVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarWrittenToBytesOfStorVar.csv", "label": "VarWrittenToBytesOfStorVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarWrittenToBytesOfStorVarIsMergedVar", "label": "VarWrittenToBytesOfStorVarIsMergedVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarWrittenToBytesOfStorVarIsMergedVar.csv", "label": "VarWrittenToBytesOfStorVarIsMergedVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarWrittenToBytesOfStorVarFinal", "label": "VarWrittenToBytesOfStorVarFinal", "shape": "dot"}, {"font": {"color": "white"}, "id": "VarWrittenToBytesOfStorVarFinal.csv", "label": "VarWrittenToBytesOfStorVarFinal.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ConstWrittenToBytesOfStorVar", "label": "ConstWrittenToBytesOfStorVar", "shape": "dot"}, {"font": {"color": "white"}, "id": "ConstWrittenToBytesOfStorVar.csv", "label": "ConstWrittenToBytesOfStorVar.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StorageVariableType", "label": "StorageVariableType", "shape": "dot"}, {"font": {"color": "white"}, "id": "StorageVariableType.csv", "label": "StorageVariableType.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsKnownLoad", "label": "IsKnownLoad", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsKnownLoad.csv", "label": "IsKnownLoad.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsKnownStore", "label": "IsKnownStore", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsKnownStore.csv", "label": "IsKnownStore.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Verbatim_KnownAndAllStores", "label": "Verbatim_KnownAndAllStores", "shape": "dot"}, {"font": {"color": "white"}, "id": "Verbatim_KnownAndAllStores.csv", "label": "Verbatim_KnownAndAllStores.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Verbatim_KnownAndAllLoads", "label": "Verbatim_KnownAndAllLoads", "shape": "dot"}, {"font": {"color": "white"}, "id": "Verbatim_KnownAndAllLoads.csv", "label": "Verbatim_KnownAndAllLoads.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "AllStoresKnown", "label": "AllStoresKnown", "shape": "dot"}, {"font": {"color": "white"}, "id": "AllStoresKnown.csv", "label": "AllStoresKnown.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "AllLoadsKnown", "label": "AllLoadsKnown", "shape": "dot"}, {"font": {"color": "white"}, "id": "AllLoadsKnown.csv", "label": "AllLoadsKnown.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "AllStorageOpsKnown", "label": "AllStorageOpsKnown", "shape": "dot"}, {"font": {"color": "white"}, "id": "AllStorageOpsKnown.csv", "label": "AllStorageOpsKnown.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "HasStorageOpsUnknown", "label": "HasStorageOpsUnknown", "shape": "dot"}, {"font": {"color": "white"}, "id": "HasStorageOpsUnknown.csv", "label": "HasStorageOpsUnknown.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StaticallyGuardedBlock", "label": "StaticallyGuardedBlock", "shape": "dot"}, {"font": {"color": "white"}, "id": "StaticallyGuardedBlock.csv", "label": "StaticallyGuardedBlock.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Dominates", "label": "Dominates", "shape": "dot"}, {"font": {"color": "white"}, "id": "Dominates.csv", "label": "Dominates.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ControlsWith", "label": "ControlsWith", "shape": "dot"}, {"font": {"color": "white"}, "id": "ControlsWith.csv", "label": "ControlsWith.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "LoadFromDataStructure", "label": "LoadFromDataStructure", "shape": "dot"}, {"font": {"color": "white"}, "id": "LoadFromDataStructure.csv", "label": "LoadFromDataStructure.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "SenderGuard", "label": "SenderGuard", "shape": "dot"}, {"font": {"color": "white"}, "id": "SenderGuard.csv", "label": "SenderGuard.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ProtoVulnerability", "label": "ProtoVulnerability", "shape": "dot"}, {"font": {"color": "white"}, "id": "proto_vulnerability.csv", "label": "proto_vulnerability.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Out_Statement_Opcode", "label": "Out_Statement_Opcode", "shape": "dot"}, {"font": {"color": "white"}, "id": "Out_Statement_Opcode.csv", "label": "Out_Statement_Opcode.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Out_Statement_Next", "label": "Out_Statement_Next", "shape": "dot"}, {"font": {"color": "white"}, "id": "Out_Statement_Next.csv", "label": "Out_Statement_Next.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Out_PushValue", "label": "Out_PushValue", "shape": "dot"}, {"font": {"color": "white"}, "id": "Out_PushValue.csv", "label": "Out_PushValue.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Statement_Opcode.csv", "label": "Statement_Opcode.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Statement_Next.csv", "label": "Statement_Next.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PushValue", "label": "PushValue", "shape": "dot"}, {"font": {"color": "white"}, "id": "PushValue.csv", "label": "PushValue.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementToClonedStatement", "label": "StatementToClonedStatement", "shape": "dot"}, {"font": {"color": "white"}, "id": "StatementToClonedStatement.csv", "label": "StatementToClonedStatement.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Block_OriginalBlock", "label": "Block_OriginalBlock", "shape": "dot"}, {"font": {"color": "white"}, "id": "Block_OriginalBlock.csv", "label": "Block_OriginalBlock.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "DirectBlockEdge", "label": "DirectBlockEdge", "shape": "dot"}, {"font": {"color": "white"}, "id": "DirectBlockEdge.csv", "label": "DirectBlockEdge.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockPushedToStack", "label": "BlockPushedToStack", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockPushedToStack.csv", "label": "BlockPushedToStack.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockPushesBlockToStack", "label": "BlockPushesBlockToStack", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockPushesBlockToStack.csv", "label": "BlockPushesBlockToStack.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockToCloneNewInstance", "label": "BlockToCloneNewInstance", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockToCloneNewInstance.csv", "label": "BlockToCloneNewInstance.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ClonedBlockAddressPushedBy", "label": "ClonedBlockAddressPushedBy", "shape": "dot"}, {"font": {"color": "white"}, "id": "ClonedBlockAddressPushedBy.csv", "label": "ClonedBlockAddressPushedBy.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleCallerWithReturn", "label": "PossibleCallerWithReturn", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleCallerWithReturn.csv", "label": "PossibleCallerWithReturn.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockPushesCloningCandidate", "label": "BlockPushesCloningCandidate", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockPushesCloningCandidate.csv", "label": "BlockPushesCloningCandidate.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "analysis.StackBalanceBlock", "label": "analysis.StackBalanceBlock", "shape": "dot"}, {"font": {"color": "white"}, "id": "analysis.StackBalanceBlock.csv", "label": "analysis.StackBalanceBlock.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockCloningCandidate", "label": "BlockCloningCandidate", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockCloningCandidate.csv", "label": "BlockCloningCandidate.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "_ByteCodeHex", "label": "_ByteCodeHex", "shape": "dot"}, {"font": {"color": "white"}, "id": "StackBalanceBlockTargetEscapes", "label": "StackBalanceBlockTargetEscapes", "shape": "dot"}, {"font": {"color": "white"}, "id": "StackBalanceBlockTargetEscapes.csv", "label": "StackBalanceBlockTargetEscapes.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockComparesSigVyper", "label": "BlockComparesSigVyper", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockComparesSigVyper.csv", "label": "BlockComparesSigVyper.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PushValue.facts", "label": "PushValue.facts", "shape": "dot"}, {"font": {"color": "white"}, "id": "Statement_Opcode.facts", "label": "Statement_Opcode.facts", "shape": "dot"}, {"font": {"color": "white"}, "id": "Statement_Next.facts", "label": "Statement_Next.facts", "shape": "dot"}, {"font": {"color": "white"}, "id": "InputMaxContextDepth", "label": "InputMaxContextDepth", "shape": "dot"}, {"font": {"color": "white"}, "id": "DropLast", "label": "DropLast", "shape": "dot"}, {"font": {"color": "white"}, "id": "DropLast.csv", "label": "DropLast.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PublicFunctionSignature", "label": "PublicFunctionSignature", "shape": "dot"}, {"font": {"color": "white"}, "id": "PublicFunctionSignature.facts", "label": "PublicFunctionSignature.facts", "shape": "dot"}, {"font": {"color": "white"}, "id": "IRBlockEdge", "label": "IRBlockEdge", "shape": "dot"}, {"font": {"color": "white"}, "id": "IRBlockEdge.csv", "label": "IRBlockEdge.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IRPublicFunction", "label": "IRPublicFunction", "shape": "dot"}, {"font": {"color": "white"}, "id": "Statement_IRStatement", "label": "Statement_IRStatement", "shape": "dot"}, {"font": {"color": "white"}, "id": "Statement_IRStatement.csv", "label": "Statement_IRStatement.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "CycleEntry", "label": "CycleEntry", "shape": "dot"}, {"font": {"color": "white"}, "id": "CycleEntry.csv", "label": "CycleEntry.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PHILocation", "label": "PHILocation", "shape": "dot"}, {"font": {"color": "white"}, "id": "PHILocation.csv", "label": "PHILocation.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Op", "label": "TAC_Op", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Stmt", "label": "TAC_Stmt", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Use", "label": "TAC_Use", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Def", "label": "TAC_Def", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Var", "label": "TAC_Var", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Var.csv", "label": "TAC_Var.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Block", "label": "TAC_Block", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Block_Head", "label": "TAC_Block_Head", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Block_Head.csv", "label": "TAC_Block_Head.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Variable_Value", "label": "TAC_Variable_Value", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Variable_BlockValue", "label": "TAC_Variable_BlockValue", "shape": "dot"}, {"font": {"color": "white"}, "id": "IRFunctionCall", "label": "IRFunctionCall", "shape": "dot"}, {"font": {"color": "white"}, "id": "IRFunctionCallReturn", "label": "IRFunctionCallReturn", "shape": "dot"}, {"font": {"color": "white"}, "id": "IRFunction_Return", "label": "IRFunction_Return", "shape": "dot"}, {"font": {"color": "white"}, "id": "IRFunction_Return.csv", "label": "IRFunction_Return.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsFunctionEntry", "label": "IsFunctionEntry", "shape": "dot"}, {"font": {"color": "white"}, "id": "IRFallthroughEdge", "label": "IRFallthroughEdge", "shape": "dot"}, {"font": {"color": "white"}, "id": "IRInFunction", "label": "IRInFunction", "shape": "dot"}, {"font": {"color": "white"}, "id": "IRFunctionEntry", "label": "IRFunctionEntry", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Statement_Next", "label": "TAC_Statement_Next", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_OriginalStatement_Block", "label": "TAC_OriginalStatement_Block", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Block_CodeChunkAccessed", "label": "TAC_Block_CodeChunkAccessed", "shape": "dot"}, {"font": {"color": "white"}, "id": "TAC_Block_Gas", "label": "TAC_Block_Gas", "shape": "dot"}, {"font": {"color": "white"}, "id": "UnmappedStatements", "label": "UnmappedStatements", "shape": "dot"}, {"font": {"color": "white"}, "id": "UnmappedStatements.csv", "label": "UnmappedStatements.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "EventSignature", "label": "EventSignature", "shape": "dot"}, {"font": {"color": "white"}, "id": "EventSignature.facts", "label": "EventSignature.facts", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_Functions", "label": "Analytics_Functions", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_Functions.csv", "label": "Analytics_Functions.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_Jumps", "label": "Analytics_Jumps", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_Jumps.csv", "label": "Analytics_Jumps.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_ReachableBlocks", "label": "Analytics_ReachableBlocks", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_ReachableBlocks.csv", "label": "Analytics_ReachableBlocks.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_Contexts", "label": "Analytics_Contexts", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_Contexts.csv", "label": "Analytics_Contexts.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_ReachableUnderContext", "label": "Analytics_ReachableUnderContext", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_ReachableUnderContext.csv", "label": "Analytics_ReachableUnderContext.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_ReachableBlocksInTAC", "label": "Analytics_ReachableBlocksInTAC", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_ReachableBlocksInTAC.csv", "label": "Analytics_ReachableBlocksInTAC.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_BlockHasNoTACBlock", "label": "Analytics_BlockHasNoTACBlock", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_BlockHasNoTACBlock.csv", "label": "Analytics_BlockHasNoTACBlock.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_Blocks", "label": "Analytics_Blocks", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_Blocks.csv", "label": "Analytics_Blocks.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_DeadBlocks", "label": "Analytics_DeadBlocks", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_DeadBlocks.csv", "label": "Analytics_DeadBlocks.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_UnknownOperand", "label": "Analytics_UnknownOperand", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_UnknownOperand.csv", "label": "Analytics_UnknownOperand.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_MissingImplementation", "label": "Analytics_MissingImplementation", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_MissingImplementation.csv", "label": "Analytics_MissingImplementation.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_PolymorphicTarget", "label": "Analytics_PolymorphicTarget", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_PolymorphicTarget.csv", "label": "Analytics_PolymorphicTarget.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_PolymorphicTargetSameCtx", "label": "Analytics_PolymorphicTargetSameCtx", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_PolymorphicTargetSameCtx.csv", "label": "Analytics_PolymorphicTargetSameCtx.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_MissingJumpTargetAnyCtx", "label": "Analytics_MissingJumpTargetAnyCtx", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_MissingJumpTargetAnyCtx.csv", "label": "Analytics_MissingJumpTargetAnyCtx.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_MissingJumpTargetSomeCtx", "label": "Analytics_MissingJumpTargetSomeCtx", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_MissingJumpTargetSomeCtx.csv", "label": "Analytics_MissingJumpTargetSomeCtx.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_StmtMissingOperand", "label": "Analytics_StmtMissingOperand", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_InexactFunctionArguments", "label": "Analytics_InexactFunctionArguments", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_InexactFunctionArguments.csv", "label": "Analytics_InexactFunctionArguments.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_InexactFunctionReturnArguments", "label": "Analytics_InexactFunctionReturnArguments", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_InexactFunctionReturnArguments.csv", "label": "Analytics_InexactFunctionReturnArguments.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_InexactFunctionCallArguments", "label": "Analytics_InexactFunctionCallArguments", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_InexactFunctionCallArguments.csv", "label": "Analytics_InexactFunctionCallArguments.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_BlockInMultipleFunctions", "label": "Analytics_BlockInMultipleFunctions", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_BlockInMultipleFunctions.csv", "label": "Analytics_BlockInMultipleFunctions.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_BlockInNoFunctions", "label": "Analytics_BlockInNoFunctions", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_BlockInNoFunctions.csv", "label": "Analytics_BlockInNoFunctions.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_BlocksLocalOrNot", "label": "Analytics_BlocksLocalOrNot", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_BlocksLocalOrNot.csv", "label": "Analytics_BlocksLocalOrNot.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_UnreachableBlock", "label": "Analytics_UnreachableBlock", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_UnreachableBlock.csv", "label": "Analytics_UnreachableBlock.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_FunctionCall", "label": "Analytics_FunctionCall", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_FunctionCall.csv", "label": "Analytics_FunctionCall.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_FunctionCallWithReturn", "label": "Analytics_FunctionCallWithReturn", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_FunctionCallWithReturn.csv", "label": "Analytics_FunctionCallWithReturn.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_FunctionWithMultipleReturns", "label": "Analytics_FunctionWithMultipleReturns", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_FunctionWithMultipleReturns.csv", "label": "Analytics_FunctionWithMultipleReturns.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_PublicFunction", "label": "Analytics_PublicFunction", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_PublicFunction.csv", "label": "Analytics_PublicFunction.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_PublicFunctionNameResolved", "label": "Analytics_PublicFunctionNameResolved", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_PublicFunctionNameResolved.csv", "label": "Analytics_PublicFunctionNameResolved.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_DoubleDef", "label": "Analytics_DoubleDef", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_DoubleDef.csv", "label": "Analytics_DoubleDef.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_BlockIsEmpty", "label": "Analytics_BlockIsEmpty", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_BlockIsEmpty.csv", "label": "Analytics_BlockIsEmpty.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_JumpToMany", "label": "Analytics_JumpToMany", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_JumpToMany.csv", "label": "Analytics_JumpToMany.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_JumpToManyNonPopBlock", "label": "Analytics_JumpToManyNonPopBlock", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_JumpToManyNonPopBlock.csv", "label": "Analytics_JumpToManyNonPopBlock.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_JumpToManyWithoutGlobalImprecision", "label": "Analytics_JumpToManyWithoutGlobalImprecision", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_JumpToManyWithoutGlobalImprecision.csv", "label": "Analytics_JumpToManyWithoutGlobalImprecision.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_InitiallyMissedCycleEntry", "label": "Analytics_InitiallyMissedCycleEntry", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_InitiallyMissedCycleEntry.csv", "label": "Analytics_InitiallyMissedCycleEntry.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_LocalBlockEdge", "label": "Analytics_LocalBlockEdge", "shape": "dot"}, {"font": {"color": "white"}, "id": "Analytics_LocalBlockEdge.csv", "label": "Analytics_LocalBlockEdge.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockEdge", "label": "BlockEdge", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockEdge.csv", "label": "BlockEdge.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "FallthroughEdge.csv", "label": "FallthroughEdge.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockJumpValidTarget", "label": "BlockJumpValidTarget", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockJumpValidTarget.csv", "label": "BlockJumpValidTarget.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockJumpTarget", "label": "BlockJumpTarget", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockJumpTarget.csv", "label": "BlockJumpTarget.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MaybeInFunctionUnderContext", "label": "MaybeInFunctionUnderContext", "shape": "dot"}, {"font": {"color": "white"}, "id": "MaybeInFunctionUnderContext.csv", "label": "MaybeInFunctionUnderContext.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "NotValidReturnBlock", "label": "NotValidReturnBlock", "shape": "dot"}, {"font": {"color": "white"}, "id": "NotValidReturnBlock.csv", "label": "NotValidReturnBlock.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "NotValidReturnEdge", "label": "NotValidReturnEdge", "shape": "dot"}, {"font": {"color": "white"}, "id": "NotValidReturnEdge.csv", "label": "NotValidReturnEdge.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MaybeFunctionCallReturn", "label": "MaybeFunctionCallReturn", "shape": "dot"}, {"font": {"color": "white"}, "id": "MaybeFunctionCallReturn.csv", "label": "MaybeFunctionCallReturn.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PotentialCall", "label": "PotentialCall", "shape": "dot"}, {"font": {"color": "white"}, "id": "PotentialCall.csv", "label": "PotentialCall.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleReturnAddressWithPos", "label": "PossibleReturnAddressWithPos", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleReturnAddressWithPos.csv", "label": "PossibleReturnAddressWithPos.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsFunctionCallReturn", "label": "IsFunctionCallReturn", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsFunctionCallReturn.csv", "label": "IsFunctionCallReturn.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsFunctionEntry.csv", "label": "IsFunctionEntry.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsFunctionCall", "label": "IsFunctionCall", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsFunctionCall.csv", "label": "IsFunctionCall.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MaybeInFunction", "label": "MaybeInFunction", "shape": "dot"}, {"font": {"color": "white"}, "id": "MaybeInFunction.csv", "label": "MaybeInFunction.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleImpreciseNumberOfFunctionArguments", "label": "PossibleImpreciseNumberOfFunctionArguments", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleImpreciseNumberOfFunctionArguments.csv", "label": "PossibleImpreciseNumberOfFunctionArguments.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleFunctionalBlockPopAndStackDelta", "label": "PossibleFunctionalBlockPopAndStackDelta", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleFunctionalBlockPopAndStackDelta.csv", "label": "PossibleFunctionalBlockPopAndStackDelta.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MaxRankForPossibleReturnAddressSetter", "label": "MaxRankForPossibleReturnAddressSetter", "shape": "dot"}, {"font": {"color": "white"}, "id": "MaxRankForPossibleReturnAddressSetter.csv", "label": "MaxRankForPossibleReturnAddressSetter.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleNumberOfFunctionArguments", "label": "PossibleNumberOfFunctionArguments", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleNumberOfFunctionArguments.csv", "label": "PossibleNumberOfFunctionArguments.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleNumberOfFunctionReturnArguments", "label": "PossibleNumberOfFunctionReturnArguments", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleNumberOfFunctionReturnArguments.csv", "label": "PossibleNumberOfFunctionReturnArguments.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleCombinedNumberOfFunctionReturnsAndArguments", "label": "PossibleCombinedNumberOfFunctionReturnsAndArguments", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleCombinedNumberOfFunctionReturnsAndArguments.csv", "label": "PossibleCombinedNumberOfFunctionReturnsAndArguments.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "NumberOfFunctionArguments", "label": "NumberOfFunctionArguments", "shape": "dot"}, {"font": {"color": "white"}, "id": "NumberOfFunctionArguments.csv", "label": "NumberOfFunctionArguments.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "NumberOfFunctionReturnArguments", "label": "NumberOfFunctionReturnArguments", "shape": "dot"}, {"font": {"color": "white"}, "id": "NumberOfFunctionReturnArguments.csv", "label": "NumberOfFunctionReturnArguments.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Variable_String", "label": "Variable_String", "shape": "dot"}, {"font": {"color": "white"}, "id": "Variable_String.csv", "label": "Variable_String.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ContextOrd", "label": "ContextOrd", "shape": "dot"}, {"font": {"color": "white"}, "id": "ContextOrd.csv", "label": "ContextOrd.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockEdgeOrd", "label": "BlockEdgeOrd", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockEdgeOrd.csv", "label": "BlockEdgeOrd.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockOutputContentsOrd", "label": "BlockOutputContentsOrd", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockOutputContentsOrd.csv", "label": "BlockOutputContentsOrd.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockInputContentsOrd", "label": "BlockInputContentsOrd", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockInputContentsOrd.csv", "label": "BlockInputContentsOrd.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockJumpTargetOrd", "label": "BlockJumpTargetOrd", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockJumpTargetOrd.csv", "label": "BlockJumpTargetOrd.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockJumpValidTargetOrd", "label": "BlockJumpValidTargetOrd", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockJumpValidTargetOrd.csv", "label": "BlockJumpValidTargetOrd.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MergeContextOrd", "label": "MergeContextOrd", "shape": "dot"}, {"font": {"color": "white"}, "id": "MergeContextOrd.csv", "label": "MergeContextOrd.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ReachableContextOrd", "label": "ReachableContextOrd", "shape": "dot"}, {"font": {"color": "white"}, "id": "ReachableContextOrd.csv", "label": "ReachableContextOrd.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsFunctionCallReturnOrd", "label": "IsFunctionCallReturnOrd", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsFunctionCallReturnOrd.csv", "label": "IsFunctionCallReturnOrd.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MaybeFunctionCallReturnOrd", "label": "MaybeFunctionCallReturnOrd", "shape": "dot"}, {"font": {"color": "white"}, "id": "MaybeFunctionCallReturnOrd.csv", "label": "MaybeFunctionCallReturnOrd.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleReturnAddressWithRankOrd", "label": "PossibleReturnAddressWithRankOrd", "shape": "dot"}, {"font": {"color": "white"}, "id": "PossibleReturnAddressWithRankOrd.csv", "label": "PossibleReturnAddressWithRankOrd.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "MaybeInFunctionUnderContextOrd", "label": "MaybeInFunctionUnderContextOrd", "shape": "dot"}, {"font": {"color": "white"}, "id": "MaybeInFunctionUnderContextOrd.csv", "label": "MaybeInFunctionUnderContextOrd.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PreAnalysisFeaturesContract", "label": "PreAnalysisFeaturesContract", "shape": "dot"}, {"font": {"color": "white"}, "id": "PreAnalysisFeaturesContract.csv", "label": "PreAnalysisFeaturesContract.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "PreAnalysisFeatures", "label": "PreAnalysisFeatures", "shape": "dot"}, {"font": {"color": "white"}, "id": "PreAnalysisFeatures.csv", "label": "PreAnalysisFeatures.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockAtGreaterOrEqualDepth", "label": "BlockAtGreaterOrEqualDepth", "shape": "dot"}, {"font": {"color": "white"}, "id": "BlockAtGreaterOrEqualDepth.csv", "label": "BlockAtGreaterOrEqualDepth.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "ContradictoryDepth", "label": "ContradictoryDepth", "shape": "dot"}, {"font": {"color": "white"}, "id": "ContradictoryDepth.csv", "label": "ContradictoryDepth.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery0.FunctionCall", "label": "discovery0.FunctionCall", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery0.FunctionCall.csv", "label": "discovery0.FunctionCall.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery1.FunctionCall", "label": "discovery1.FunctionCall", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery1.FunctionCall.csv", "label": "discovery1.FunctionCall.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery2.FunctionCall", "label": "discovery2.FunctionCall", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery2.FunctionCall.csv", "label": "discovery2.FunctionCall.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery3.FunctionCall", "label": "discovery3.FunctionCall", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery3.FunctionCall.csv", "label": "discovery3.FunctionCall.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery0.InFunction", "label": "discovery0.InFunction", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery0.InFunction.csv", "label": "discovery0.InFunction.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery1.InFunction", "label": "discovery1.InFunction", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery1.InFunction.csv", "label": "discovery1.InFunction.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery2.InFunction", "label": "discovery2.InFunction", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery2.InFunction.csv", "label": "discovery2.InFunction.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery3.InFunction", "label": "discovery3.InFunction", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery3.InFunction.csv", "label": "discovery3.InFunction.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery0.FunctionEntry", "label": "discovery0.FunctionEntry", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery0.FunctionEntry.csv", "label": "discovery0.FunctionEntry.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery1.FunctionEntry", "label": "discovery1.FunctionEntry", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery1.FunctionEntry.csv", "label": "discovery1.FunctionEntry.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery2.FunctionEntry", "label": "discovery2.FunctionEntry", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery2.FunctionEntry.csv", "label": "discovery2.FunctionEntry.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery3.FunctionEntry", "label": "discovery3.FunctionEntry", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery3.FunctionEntry.csv", "label": "discovery3.FunctionEntry.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery0.ContinuationEntry", "label": "discovery0.ContinuationEntry", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery0.ContinuationEntry.csv", "label": "discovery0.ContinuationEntry.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery1.ContinuationEntry", "label": "discovery1.ContinuationEntry", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery1.ContinuationEntry.csv", "label": "discovery1.ContinuationEntry.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery2.ContinuationEntry", "label": "discovery2.ContinuationEntry", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery2.ContinuationEntry.csv", "label": "discovery2.ContinuationEntry.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery3.ContinuationEntry", "label": "discovery3.ContinuationEntry", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery3.ContinuationEntry.csv", "label": "discovery3.ContinuationEntry.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery0.InContinuation", "label": "discovery0.InContinuation", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery0.InContinuation.csv", "label": "discovery0.InContinuation.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery1.InContinuation", "label": "discovery1.InContinuation", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery1.InContinuation.csv", "label": "discovery1.InContinuation.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery2.InContinuation", "label": "discovery2.InContinuation", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery2.InContinuation.csv", "label": "discovery2.InContinuation.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery3.InContinuation", "label": "discovery3.InContinuation", "shape": "dot"}, {"font": {"color": "white"}, "id": "discovery3.InContinuation.csv", "label": "discovery3.InContinuation.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "CommonReturnAddress", "label": "CommonReturnAddress", "shape": "dot"}, {"font": {"color": "white"}, "id": "CommonReturnAddress.csv", "label": "CommonReturnAddress.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsCallReturn", "label": "IsCallReturn", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsCallReturn.csv", "label": "IsCallReturn.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsCallCall", "label": "IsCallCall", "shape": "dot"}, {"font": {"color": "white"}, "id": "IsCallCall.csv", "label": "IsCallCall.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "A", "label": "A", "shape": "dot"}, {"font": {"color": "white"}, "id": "A.facts", "label": "A.facts", "shape": "dot"}, {"font": {"color": "white"}, "id": "B", "label": "B", "shape": "dot"}, {"font": {"color": "white"}, "id": "B.facts", "label": "B.facts", "shape": "dot"}, {"font": {"color": "white"}, "id": "O", "label": "O", "shape": "dot"}, {"font": {"color": "white"}, "id": "O.csv", "label": "O.csv", "shape": "dot"}, {"font": {"color": "white"}, "id": "Hash", "label": "Hash", "shape": "dot"}, {"font": {"color": "white"}, "id": "Hash.csv", "label": "Hash.csv", "shape": "dot"}]);
        edges = new vis.DataSet([{"arrows": "to", "from": "Fail", "to": "Fail.csv"}, {"arrows": "to", "from": "bytecode.hex", "to": "ByteCodeHex"}, {"arrows": "to", "from": "OpcodePossiblyHalts.csv", "to": "OpcodePossiblyHalts"}, {"arrows": "to", "from": "TAC_Op.csv", "to": "Statement_Opcode"}, {"arrows": "to", "from": "TAC_Stmt.csv", "to": "IsStatement"}, {"arrows": "to", "from": "TAC_Block.csv", "to": "Statement_Block"}, {"arrows": "to", "from": "TAC_Variable_Value.csv", "to": "Variable_Value"}, {"arrows": "to", "from": "TAC_Variable_Value.csv", "to": "BasicVariable_Value"}, {"arrows": "to", "from": "TAC_Variable_BlockValue.csv", "to": "Variable_BlockValue"}, {"arrows": "to", "from": "LocalBlockEdge.csv", "to": "LocalBlockEdge"}, {"arrows": "to", "from": "IRFallthroughEdge.csv", "to": "FallthroughEdge"}, {"arrows": "to", "from": "IRFunctionCall.csv", "to": "CallGraphEdge"}, {"arrows": "to", "from": "IRFunctionCallReturn.csv", "to": "FunctionCallReturn"}, {"arrows": "to", "from": "Function.csv", "to": "IsFunction"}, {"arrows": "to", "from": "PublicFunction.csv", "to": "PublicFunctionSelector"}, {"arrows": "to", "from": "HighLevelFunctionName.csv", "to": "HighLevelFunctionName"}, {"arrows": "to", "from": "EventSignatureInContract.csv", "to": "EventSignatureInContract"}, {"arrows": "to", "from": "ConstantPossibleSigHash.csv", "to": "ConstantPossibleSigHash"}, {"arrows": "to", "from": "TAC_Block_Gas.csv", "to": "Block_Gas"}, {"arrows": "to", "from": "TAC_OriginalStatement_Block.csv", "to": "OriginalStatement_Block"}, {"arrows": "to", "from": "TAC_Block_CodeChunkAccessed.csv", "to": "Block_CodeChunkAccessed"}, {"arrows": "to", "from": "MaxContextDepth.csv", "to": "MaxContextDepth"}, {"arrows": "to", "from": "ActualReturnArgs.csv", "to": "ActualReturnArgs"}, {"arrows": "to", "from": "FormalArgs.csv", "to": "FormalArgs"}, {"arrows": "to", "from": "TAC_Use.csv", "to": "Statement_Uses"}, {"arrows": "to", "from": "TAC_Def.csv", "to": "Statement_Defines"}, {"arrows": "to", "from": "TAC_Statement_Next.csv", "to": "Statement_Next"}, {"arrows": "to", "from": "IRFunctionEntry.csv", "to": "FunctionEntry"}, {"arrows": "to", "from": "InFunction.csv", "to": "InFunction"}, {"arrows": "to", "from": "Mask_Length.csv", "to": "Mask_Length"}, {"arrows": "to", "from": "StorageContents.csv", "to": "StorageContents"}, {"arrows": "to", "from": "SHA3Decompositions.csv", "to": "SHA3Decompositions"}, {"arrows": "to", "from": "Analytics_DataFlows", "to": "Analytics_DataFlows.csv"}, {"arrows": "to", "from": "Analytics_PolymorphicVariable", "to": "Analytics_PolymorphicVariable.csv"}, {"arrows": "to", "from": "Analytics_StmtMissingOperand.csv", "to": "StmtMissingOperand"}, {"arrows": "to", "from": "Analytics_MissingDataFlowsToSamePublicFunction", "to": "Analytics_MissingDataFlowsToSamePublicFunction.csv"}, {"arrows": "to", "from": "Analytics_DataFlowsToDifferentPublicFunction", "to": "Analytics_DataFlowsToDifferentPublicFunction.csv"}, {"arrows": "to", "from": "Analytics_LargestFunction", "to": "Analytics_LargestFunction.csv"}, {"arrows": "to", "from": "Analytics_Variables", "to": "Analytics_Variables.csv"}, {"arrows": "to", "from": "LowBytesMaskOp", "to": "LowBytesMaskOp.csv"}, {"arrows": "to", "from": "AntiMaskOp", "to": "AntiMaskOp.csv"}, {"arrows": "to", "from": "FromHasNoEdges", "to": "FromHasNoEdges.csv"}, {"arrows": "to", "from": "FromHasTwoEdges", "to": "FromHasTwoEdges.csv"}, {"arrows": "to", "from": "Variable_Value", "to": "Variable_Value.csv"}, {"arrows": "to", "from": "Variable_NumericValue", "to": "Variable_NumericValue.csv"}, {"arrows": "to", "from": "VarPlusThirtyTwo", "to": "VarPlusThirtyTwo.csv"}, {"arrows": "to", "from": "VarPlusConst", "to": "VarPlusConst.csv"}, {"arrows": "to", "from": "VarMinusConst", "to": "VarMinusConst.csv"}, {"arrows": "to", "from": "VarPlusThrirtyOneAndNotThirtyOne", "to": "VarPlusThrirtyOneAndNotThirtyOne.csv"}, {"arrows": "to", "from": "VarPlusSixtyThreeAndNotThirtyOne", "to": "VarPlusSixtyThreeAndNotThirtyOne.csv"}, {"arrows": "to", "from": "VarPlusThrirtyOneDivMulSixtyFour", "to": "VarPlusThrirtyOneDivMulSixtyFour.csv"}, {"arrows": "to", "from": "VarTimesConstant", "to": "VarTimesConstant.csv"}, {"arrows": "to", "from": "VarDivByConstant", "to": "VarDivByConstant.csv"}, {"arrows": "to", "from": "MSTOREFreePtr", "to": "MSTOREFreePtr.csv"}, {"arrows": "to", "from": "MLOADFreePtr", "to": "MLOADFreePtr.csv"}, {"arrows": "to", "from": "MLOADFreePtr_To", "to": "MLOADFreePtr_To.csv"}, {"arrows": "to", "from": "MSTOREToFreePtrAddr", "to": "MSTOREToFreePtrAddr.csv"}, {"arrows": "to", "from": "MSTOREFreePtrOrder", "to": "MSTOREFreePtrOrder.csv"}, {"arrows": "to", "from": "MLOADFreePtrLoadsValueStoredAt", "to": "MLOADFreePtrLoadsValueStoredAt.csv"}, {"arrows": "to", "from": "MSTOREFreePtr_IncByAmount", "to": "MSTOREFreePtr_IncByAmount.csv"}, {"arrows": "to", "from": "MLOADSFreePtrUnchanged", "to": "MLOADSFreePtrUnchanged.csv"}, {"arrows": "to", "from": "MLOADSFreePtrUnchangedNoMemReuse", "to": "MLOADSFreePtrUnchangedNoMemReuse.csv"}, {"arrows": "to", "from": "StatementUsesMemoryReadsFromZero", "to": "StatementUsesMemoryReadsFromZero.csv"}, {"arrows": "to", "from": "Variable_SymbolicValue", "to": "Variable_SymbolicValue.csv"}, {"arrows": "to", "from": "FreePointerBasedValue", "to": "FreePointerBasedValue.csv"}, {"arrows": "to", "from": "FreePointerBasedValuesWithFreePointerAliases", "to": "FreePointerBasedValuesWithFreePointerAliases.csv"}, {"arrows": "to", "from": "FreePointerBasedValuesNumDiff", "to": "FreePointerBasedValuesNumDiff.csv"}, {"arrows": "to", "from": "FreePointerBasedValuesWithFreePointerAliasesNumVals", "to": "FreePointerBasedValuesWithFreePointerAliasesNumVals.csv"}, {"arrows": "to", "from": "FreePointerBasedValuesEqual", "to": "FreePointerBasedValuesEqual.csv"}, {"arrows": "to", "from": "FreePointerBasedValue_AliasRep", "to": "FreePointerBasedValue_AliasRep.csv"}, {"arrows": "to", "from": "VariableLengthMemoryCopyStatement", "to": "VariableLengthMemoryCopyStatement.csv"}, {"arrows": "to", "from": "PartialMSTORE", "to": "PartialMSTORE.csv"}, {"arrows": "to", "from": "LShiftBytes", "to": "LShiftBytes.csv"}, {"arrows": "to", "from": "StatementUsesMemory", "to": "StatementUsesMemory.csv"}, {"arrows": "to", "from": "StatementUsesMemory_StartVar", "to": "StatementUsesMemory_StartVar.csv"}, {"arrows": "to", "from": "StatementUsesMemory_LengthVar", "to": "StatementUsesMemory_LengthVar.csv"}, {"arrows": "to", "from": "StatementUsesMemoryReadsRawData", "to": "StatementUsesMemoryReadsRawData.csv"}, {"arrows": "to", "from": "StatementUsesMemoryReadsABIEnc", "to": "StatementUsesMemoryReadsABIEnc.csv"}, {"arrows": "to", "from": "StatementUsesMemoryReadsABIEncWSelector", "to": "StatementUsesMemoryReadsABIEncWSelector.csv"}, {"arrows": "to", "from": "StatementUsesMemoryOfInitiallyComputableLength", "to": "StatementUsesMemoryOfInitiallyComputableLength.csv"}, {"arrows": "to", "from": "StatementUsesMemoryOfComputableLength", "to": "StatementUsesMemoryOfComputableLength.csv"}, {"arrows": "to", "from": "StatementUsesMemoryOfNonComputableLength", "to": "StatementUsesMemoryOfNonComputableLength.csv"}, {"arrows": "to", "from": "StatementWritesMemoryOfConstantLength", "to": "StatementWritesMemoryOfConstantLength.csv"}, {"arrows": "to", "from": "StatementWritesMemoryOfLength", "to": "StatementWritesMemoryOfLength.csv"}, {"arrows": "to", "from": "StatementReadsMemoryOfConstantLength", "to": "StatementReadsMemoryOfConstantLength.csv"}, {"arrows": "to", "from": "MemoryAddressVarsNumDiff", "to": "MemoryAddressVarsNumDiff.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmt", "to": "MemWriteToMemConsStmt.csv"}, {"arrows": "to", "from": "InitialMemWriteToMemConsStmtWithNonComputableLength", "to": "InitialMemWriteToMemConsStmtWithNonComputableLength.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtWithNonComputableLength", "to": "MemWriteToMemConsStmtWithNonComputableLength.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtWithConstantLength", "to": "MemWriteToMemConsStmtWithConstantLength.csv"}, {"arrows": "to", "from": "StatementWritesMemoryOfConstantLengthAtMemAlias", "to": "StatementWritesMemoryOfConstantLengthAtMemAlias.csv"}, {"arrows": "to", "from": "StatementReadsMemoryOfConstantLengthAtMemAlias", "to": "StatementReadsMemoryOfConstantLengthAtMemAlias.csv"}, {"arrows": "to", "from": "StatementUsesMemoryOfNonComputableLength_LengthApprox", "to": "StatementUsesMemoryOfNonComputableLength_LengthApprox.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtInfoInit", "to": "MemWriteToMemConsStmtInfoInit.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtInfo", "to": "MemWriteToMemConsStmtInfo.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtInvalid", "to": "MemWriteToMemConsStmtInvalid.csv"}, {"arrows": "to", "from": "StatementWritesMemoryOfConstantLengthAtMemAlias", "to": "StatementWritesMemoryOfConstantLengthAtMemAlias.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtUpperLimit", "to": "MemWriteToMemConsStmtUpperLimit.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtLowerLimit", "to": "MemWriteToMemConsStmtLowerLimit.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtPartOfPrev", "to": "MemWriteToMemConsStmtPartOfPrev.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtResolved", "to": "MemWriteToMemConsStmtResolved.csv"}, {"arrows": "to", "from": "MSTOREToMemConsStmtWritesShiftedVar", "to": "MSTOREToMemConsStmtWritesShiftedVar.csv"}, {"arrows": "to", "from": "MSTOREToMemConsStmt_WrittenVar", "to": "MSTOREToMemConsStmt_WrittenVar.csv"}, {"arrows": "to", "from": "MSTOREToMemConsStmt_WrittenValue", "to": "MSTOREToMemConsStmt_WrittenValue.csv"}, {"arrows": "to", "from": "IsCallDataArrayVar", "to": "IsCallDataArrayVar.csv"}, {"arrows": "to", "from": "IsRegularArrayVar", "to": "IsRegularArrayVar.csv"}, {"arrows": "to", "from": "IsRawDataArrayVar", "to": "IsRawDataArrayVar.csv"}, {"arrows": "to", "from": "IsABIEncodedArrayVar", "to": "IsABIEncodedArrayVar.csv"}, {"arrows": "to", "from": "CallDataLoadReadsLength", "to": "CallDataLoadReadsLength.csv"}, {"arrows": "to", "from": "CallDataCopyArgInfo", "to": "CallDataCopyArgInfo.csv"}, {"arrows": "to", "from": "Array_ElementLength", "to": "Array_ElementLength.csv"}, {"arrows": "to", "from": "ArrayVarLengthVar", "to": "ArrayVarLengthVar.csv"}, {"arrows": "to", "from": "ArrayDataStartVar", "to": "ArrayDataStartVar.csv"}, {"arrows": "to", "from": "ArgArrayLenWrittenTo", "to": "ArgArrayLenWrittenTo.csv"}, {"arrows": "to", "from": "ArrayIndexAccess", "to": "ArrayIndexAccess.csv"}, {"arrows": "to", "from": "CallDataArrayGet", "to": "CallDataArrayGet.csv"}, {"arrows": "to", "from": "MemArrayGet", "to": "MemArrayGet.csv"}, {"arrows": "to", "from": "MemArrayPut", "to": "MemArrayPut.csv"}, {"arrows": "to", "from": "StatementUsesMemory_UsesArray", "to": "StatementUsesMemory_UsesArray.csv"}, {"arrows": "to", "from": "ArrayLoad", "to": "ArrayLoad.csv"}, {"arrows": "to", "from": "ArrayStore", "to": "ArrayStore.csv"}, {"arrows": "to", "from": "ArrayWriteToRelativeIndex", "to": "ArrayWriteToRelativeIndex.csv"}, {"arrows": "to", "from": "ArrayHasConstantLength", "to": "ArrayHasConstantLength.csv"}, {"arrows": "to", "from": "PossibleArray", "to": "PossibleArray.csv"}, {"arrows": "to", "from": "PossibleArrayLoose", "to": "PossibleArrayLoose.csv"}, {"arrows": "to", "from": "ArrayFromArray", "to": "ArrayFromArray.csv"}, {"arrows": "to", "from": "ArrayAllocationInternal", "to": "ArrayAllocationInternal.csv"}, {"arrows": "to", "from": "ArrayAllocation", "to": "ArrayAllocation.csv"}, {"arrows": "to", "from": "ReturnDataByteArray", "to": "ReturnDataByteArray.csv"}, {"arrows": "to", "from": "ArrayActualArg", "to": "ArrayActualArg.csv"}, {"arrows": "to", "from": "ArrayDataActualArg", "to": "ArrayDataActualArg.csv"}, {"arrows": "to", "from": "PossibleArrayCopy", "to": "PossibleArrayCopy.csv"}, {"arrows": "to", "from": "PossibleArrayAlias", "to": "PossibleArrayAlias.csv"}, {"arrows": "to", "from": "RegularArrayVarsInSameClass", "to": "RegularArrayVarsInSameClass.csv"}, {"arrows": "to", "from": "RawDataArrayVarsInSameClass", "to": "RawDataArrayVarsInSameClass.csv"}, {"arrows": "to", "from": "RawDataArrayVar_ClassRep", "to": "RawDataArrayVar_ClassRep.csv"}, {"arrows": "to", "from": "RegularArrayVar_ClassRep", "to": "RegularArrayVar_ClassRep.csv"}, {"arrows": "to", "from": "ABIEncodedArrayVarsInSameClass", "to": "ABIEncodedArrayVarsInSameClass.csv"}, {"arrows": "to", "from": "ABIEncodedArrayVar_ClassRep", "to": "ABIEncodedArrayVar_ClassRep.csv"}, {"arrows": "to", "from": "VarIsArray", "to": "VarIsArray.csv"}, {"arrows": "to", "from": "InductionVariable", "to": "InductionVariable.csv"}, {"arrows": "to", "from": "InductionVariableIncreasesByConst", "to": "InductionVariableIncreasesByConst.csv"}, {"arrows": "to", "from": "InductionVariableDecreasesByConst", "to": "InductionVariableDecreasesByConst.csv"}, {"arrows": "to", "from": "InductionVariableStartsAtConst", "to": "InductionVariableStartsAtConst.csv"}, {"arrows": "to", "from": "InductionVariableLowerBoundVar", "to": "InductionVariableLowerBoundVar.csv"}, {"arrows": "to", "from": "InductionVariableUpperBoundVar", "to": "InductionVariableUpperBoundVar.csv"}, {"arrows": "to", "from": "WellFromedLoopInductionVariable", "to": "WellFromedLoopInductionVariable.csv"}, {"arrows": "to", "from": "MemoryCopyLoop", "to": "MemoryCopyLoop.csv"}, {"arrows": "to", "from": "MemoryCopyLoopConstLength", "to": "MemoryCopyLoopConstLength.csv"}, {"arrows": "to", "from": "StatementWritesMemoryCopiedFromLoop", "to": "StatementWritesMemoryCopiedFromLoop.csv"}, {"arrows": "to", "from": "PublicFunctionArg", "to": "PublicFunctionArg.csv"}, {"arrows": "to", "from": "StatementUsesMemory_ActualMemoryArg", "to": "StatementUsesMemory_ActualMemoryArg.csv"}, {"arrows": "to", "from": "StatementUsesMemoryMemoryArgument", "to": "StatementUsesMemoryMemoryArgument.csv"}, {"arrows": "to", "from": "StatementUsesMemoryMemoryArgumentNew", "to": "StatementUsesMemoryMemoryArgumentNew.csv"}, {"arrows": "to", "from": "StatementUsesMemory_ActualArg", "to": "StatementUsesMemory_ActualArg.csv"}, {"arrows": "to", "from": "StatementUsesMemoryWriteAtRelativeIndex", "to": "StatementUsesMemoryWriteAtRelativeIndex.csv"}, {"arrows": "to", "from": "StatementUsesMemoryWriteAtRelativeIndex_Order", "to": "StatementUsesMemoryWriteAtRelativeIndex_Order.csv"}, {"arrows": "to", "from": "StatementUsesMemoryWritesAtRelativeIndexOrdered", "to": "StatementUsesMemoryWritesAtRelativeIndexOrdered.csv"}, {"arrows": "to", "from": "StatementUsesMemoryWritesAtRelativeIndexNotNext", "to": "StatementUsesMemoryWritesAtRelativeIndexNotNext.csv"}, {"arrows": "to", "from": "StatementUsesMemoryWritesAtRelativeIndexNext", "to": "StatementUsesMemoryWritesAtRelativeIndexNext.csv"}, {"arrows": "to", "from": "MemoryStatement_ActualArgNew", "to": "MemoryStatement_ActualArgNew.csv"}, {"arrows": "to", "from": "ABIEncodedArrayIncludesArray", "to": "ABIEncodedArrayIncludesArray.csv"}, {"arrows": "to", "from": "ABIEncodedArrayWFunctionSelector", "to": "ABIEncodedArrayWFunctionSelector.csv"}, {"arrows": "to", "from": "ABIEncodedArrayNoFunctionSelector", "to": "ABIEncodedArrayNoFunctionSelector.csv"}, {"arrows": "to", "from": "ABIEncodedArrayIncludesArrayAtConcreteIndex", "to": "ABIEncodedArrayIncludesArrayAtConcreteIndex.csv"}, {"arrows": "to", "from": "ABIEncodedArrayWriteTo", "to": "ABIEncodedArrayWriteTo.csv"}, {"arrows": "to", "from": "ABIEncodedArrayHasVarAtIndex", "to": "ABIEncodedArrayHasVarAtIndex.csv"}, {"arrows": "to", "from": "ABIEncodedArrayWriteToIsNotArrayOrLen", "to": "ABIEncodedArrayWriteToIsNotArrayOrLen.csv"}, {"arrows": "to", "from": "ABIEncodedArrayReadByStmt", "to": "ABIEncodedArrayReadByStmt.csv"}, {"arrows": "to", "from": "WriteToArrayUsedByABIEncodedArray", "to": "WriteToArrayUsedByABIEncodedArray.csv"}, {"arrows": "to", "from": "ExternalCallTakesWholeCallData", "to": "ExternalCallTakesWholeCallData.csv"}, {"arrows": "to", "from": "ArbitraryCall", "to": "ArbitraryCall.csv"}, {"arrows": "to", "from": "CALLReturnDataStartVar", "to": "CALLReturnDataStartVar.csv"}, {"arrows": "to", "from": "CALLReturnDataLengthVar", "to": "CALLReturnDataLengthVar.csv"}, {"arrows": "to", "from": "CALLReturnsFixedSizeData", "to": "CALLReturnsFixedSizeData.csv"}, {"arrows": "to", "from": "CALLReturnsArray", "to": "CALLReturnsArray.csv"}, {"arrows": "to", "from": "CALLReturnsNoData", "to": "CALLReturnsNoData.csv"}, {"arrows": "to", "from": "AllCALLsClassified", "to": "AllCALLsClassified.csv"}, {"arrows": "to", "from": "RETURNDATACOPYOfCALL", "to": "RETURNDATACOPYOfCALL.csv"}, {"arrows": "to", "from": "RETURNDATACOPYAllDataOfCALL", "to": "RETURNDATACOPYAllDataOfCALL.csv"}, {"arrows": "to", "from": "RETURNDATASIZEOfCALL", "to": "RETURNDATASIZEOfCALL.csv"}, {"arrows": "to", "from": "MLOADReadsReturnOfCALL", "to": "MLOADReadsReturnOfCALL.csv"}, {"arrows": "to", "from": "ExternalCall_ActualReturn", "to": "ExternalCall_ActualReturn.csv"}, {"arrows": "to", "from": "CDArg", "to": "CDArg.csv"}, {"arrows": "to", "from": "ValueIsPossibleSigHash", "to": "ValueIsPossibleSigHash.csv"}, {"arrows": "to", "from": "Helper_BigValueFilter", "to": "Helper_BigValueFilter.csv"}, {"arrows": "to", "from": "Helper_Zeros", "to": "Helper_Zeros.csv"}, {"arrows": "to", "from": "EcrecoverCompilerBug", "to": "EcrecoverCompilerBug.csv"}, {"arrows": "to", "from": "Analytics_ERC20TransferCall", "to": "Analytics_ERC20TransferCall.csv"}, {"arrows": "to", "from": "Analytics_ERC20TransferFromCall", "to": "Analytics_ERC20TransferFromCall.csv"}, {"arrows": "to", "from": "Analytics_ERC20ApproveCall", "to": "Analytics_ERC20ApproveCall.csv"}, {"arrows": "to", "from": "Analytics_CallWithSig", "to": "Analytics_CallWithSig.csv"}, {"arrows": "to", "from": "Analytics_MemConsStmtUsesFromDistinctPaths", "to": "Analytics_MemConsStmtUsesFromDistinctPaths.csv"}, {"arrows": "to", "from": "Analytics_NonModeledMSTORE", "to": "Analytics_NonModeledMSTORE.csv"}, {"arrows": "to", "from": "Analytics_NonModeledMLOAD", "to": "Analytics_NonModeledMLOAD.csv"}, {"arrows": "to", "from": "Analytics_PublicFunctionArg", "to": "Analytics_PublicFunctionArg.csv"}, {"arrows": "to", "from": "Analytics_PublicFunctionArrayArg", "to": "Analytics_PublicFunctionArrayArg.csv"}, {"arrows": "to", "from": "NonModeledMSTORE", "to": "NonModeledMSTORE.csv"}, {"arrows": "to", "from": "Verbatim_AllVsModeledMSTOREs", "to": "Verbatim_AllVsModeledMSTOREs.csv"}, {"arrows": "to", "from": "Verbatim_AllVsModeledMLOADs", "to": "Verbatim_AllVsModeledMLOADs.csv"}, {"arrows": "to", "from": "Verbatim_MemConsStmtsLengths", "to": "Verbatim_MemConsStmtsLengths.csv"}, {"arrows": "to", "from": "Verbatim_CDLAllVSStaticVSArr", "to": "Verbatim_CDLAllVSStaticVSArr.csv"}, {"arrows": "to", "from": "Analytics_LenVarHasManyVars", "to": "Analytics_LenVarHasManyVars.csv"}, {"arrows": "to", "from": "SHA3NoActualArgs", "to": "SHA3NoActualArgs.csv"}, {"arrows": "to", "from": "StatementConsumesMemoryNoArgs", "to": "StatementConsumesMemoryNoArgs.csv"}, {"arrows": "to", "from": "NonModeledMLOAD", "to": "NonModeledMLOAD.csv"}, {"arrows": "to", "from": "SHA3_KnownContent", "to": "SHA3_KnownContent.csv"}, {"arrows": "to", "from": "CallToSignatureFromSHA3", "to": "CallToSignatureFromSHA3.csv"}, {"arrows": "to", "from": "CallToSignature", "to": "CallToSignature.csv"}, {"arrows": "to", "from": "CallToSignatureFromSHA3", "to": "CallToSignatureFromSHA3.csv"}, {"arrows": "to", "from": "ERC20TransferCall", "to": "ERC20TransferCall.csv"}, {"arrows": "to", "from": "ERC20TransferFromCall", "to": "ERC20TransferFromCall.csv"}, {"arrows": "to", "from": "ERC20ApproveCall", "to": "ERC20ApproveCall.csv"}, {"arrows": "to", "from": "Analytics_CallToSignature", "to": "Analytics_CallToSignature.csv"}, {"arrows": "to", "from": "Analytics_EventSignature", "to": "Analytics_EventSignature.csv"}, {"arrows": "to", "from": "Fail", "to": "Fail.csv"}, {"arrows": "to", "from": "bytecode.hex", "to": "ByteCodeHex"}, {"arrows": "to", "from": "OpcodePossiblyHalts.csv", "to": "OpcodePossiblyHalts"}, {"arrows": "to", "from": "TAC_Op.csv", "to": "Statement_Opcode"}, {"arrows": "to", "from": "TAC_Stmt.csv", "to": "IsStatement"}, {"arrows": "to", "from": "TAC_Block.csv", "to": "Statement_Block"}, {"arrows": "to", "from": "TAC_Variable_Value.csv", "to": "Variable_Value"}, {"arrows": "to", "from": "TAC_Variable_Value.csv", "to": "BasicVariable_Value"}, {"arrows": "to", "from": "TAC_Variable_BlockValue.csv", "to": "Variable_BlockValue"}, {"arrows": "to", "from": "LocalBlockEdge.csv", "to": "LocalBlockEdge"}, {"arrows": "to", "from": "IRFallthroughEdge.csv", "to": "FallthroughEdge"}, {"arrows": "to", "from": "IRFunctionCall.csv", "to": "CallGraphEdge"}, {"arrows": "to", "from": "IRFunctionCallReturn.csv", "to": "FunctionCallReturn"}, {"arrows": "to", "from": "Function.csv", "to": "IsFunction"}, {"arrows": "to", "from": "PublicFunction.csv", "to": "PublicFunctionSelector"}, {"arrows": "to", "from": "HighLevelFunctionName.csv", "to": "HighLevelFunctionName"}, {"arrows": "to", "from": "EventSignatureInContract.csv", "to": "EventSignatureInContract"}, {"arrows": "to", "from": "ConstantPossibleSigHash.csv", "to": "ConstantPossibleSigHash"}, {"arrows": "to", "from": "TAC_Block_Gas.csv", "to": "Block_Gas"}, {"arrows": "to", "from": "TAC_OriginalStatement_Block.csv", "to": "OriginalStatement_Block"}, {"arrows": "to", "from": "TAC_Block_CodeChunkAccessed.csv", "to": "Block_CodeChunkAccessed"}, {"arrows": "to", "from": "MaxContextDepth.csv", "to": "MaxContextDepth"}, {"arrows": "to", "from": "ActualReturnArgs.csv", "to": "ActualReturnArgs"}, {"arrows": "to", "from": "FormalArgs.csv", "to": "FormalArgs"}, {"arrows": "to", "from": "TAC_Use.csv", "to": "Statement_Uses"}, {"arrows": "to", "from": "TAC_Def.csv", "to": "Statement_Defines"}, {"arrows": "to", "from": "TAC_Statement_Next.csv", "to": "Statement_Next"}, {"arrows": "to", "from": "IRFunctionEntry.csv", "to": "FunctionEntry"}, {"arrows": "to", "from": "InFunction.csv", "to": "InFunction"}, {"arrows": "to", "from": "Mask_Length.csv", "to": "Mask_Length"}, {"arrows": "to", "from": "StorageContents.csv", "to": "StorageContents"}, {"arrows": "to", "from": "SHA3Decompositions.csv", "to": "SHA3Decompositions"}, {"arrows": "to", "from": "Fail", "to": "Fail.csv"}, {"arrows": "to", "from": "bytecode.hex", "to": "ByteCodeHex"}, {"arrows": "to", "from": "OpcodePossiblyHalts.csv", "to": "OpcodePossiblyHalts"}, {"arrows": "to", "from": "TAC_Op.csv", "to": "Statement_Opcode"}, {"arrows": "to", "from": "TAC_Stmt.csv", "to": "IsStatement"}, {"arrows": "to", "from": "TAC_Block.csv", "to": "Statement_Block"}, {"arrows": "to", "from": "TAC_Variable_Value.csv", "to": "Variable_Value"}, {"arrows": "to", "from": "TAC_Variable_Value.csv", "to": "BasicVariable_Value"}, {"arrows": "to", "from": "TAC_Variable_BlockValue.csv", "to": "Variable_BlockValue"}, {"arrows": "to", "from": "LocalBlockEdge.csv", "to": "LocalBlockEdge"}, {"arrows": "to", "from": "IRFallthroughEdge.csv", "to": "FallthroughEdge"}, {"arrows": "to", "from": "IRFunctionCall.csv", "to": "CallGraphEdge"}, {"arrows": "to", "from": "IRFunctionCallReturn.csv", "to": "FunctionCallReturn"}, {"arrows": "to", "from": "Function.csv", "to": "IsFunction"}, {"arrows": "to", "from": "PublicFunction.csv", "to": "PublicFunctionSelector"}, {"arrows": "to", "from": "HighLevelFunctionName.csv", "to": "HighLevelFunctionName"}, {"arrows": "to", "from": "EventSignatureInContract.csv", "to": "EventSignatureInContract"}, {"arrows": "to", "from": "ConstantPossibleSigHash.csv", "to": "ConstantPossibleSigHash"}, {"arrows": "to", "from": "TAC_Block_Gas.csv", "to": "Block_Gas"}, {"arrows": "to", "from": "TAC_OriginalStatement_Block.csv", "to": "OriginalStatement_Block"}, {"arrows": "to", "from": "TAC_Block_CodeChunkAccessed.csv", "to": "Block_CodeChunkAccessed"}, {"arrows": "to", "from": "MaxContextDepth.csv", "to": "MaxContextDepth"}, {"arrows": "to", "from": "ActualReturnArgs.csv", "to": "ActualReturnArgs"}, {"arrows": "to", "from": "FormalArgs.csv", "to": "FormalArgs"}, {"arrows": "to", "from": "TAC_Use.csv", "to": "Statement_Uses"}, {"arrows": "to", "from": "TAC_Def.csv", "to": "Statement_Defines"}, {"arrows": "to", "from": "TAC_Statement_Next.csv", "to": "Statement_Next"}, {"arrows": "to", "from": "IRFunctionEntry.csv", "to": "FunctionEntry"}, {"arrows": "to", "from": "InFunction.csv", "to": "InFunction"}, {"arrows": "to", "from": "Mask_Length.csv", "to": "Mask_Length"}, {"arrows": "to", "from": "StorageContents.csv", "to": "StorageContents"}, {"arrows": "to", "from": "SHA3Decompositions.csv", "to": "SHA3Decompositions"}, {"arrows": "to", "from": "LowBytesMaskOp", "to": "LowBytesMaskOp.csv"}, {"arrows": "to", "from": "AntiMaskOp", "to": "AntiMaskOp.csv"}, {"arrows": "to", "from": "FromHasNoEdges", "to": "FromHasNoEdges.csv"}, {"arrows": "to", "from": "FromHasTwoEdges", "to": "FromHasTwoEdges.csv"}, {"arrows": "to", "from": "Variable_Value", "to": "Variable_Value.csv"}, {"arrows": "to", "from": "Variable_NumericValue", "to": "Variable_NumericValue.csv"}, {"arrows": "to", "from": "VarPlusThirtyTwo", "to": "VarPlusThirtyTwo.csv"}, {"arrows": "to", "from": "VarPlusConst", "to": "VarPlusConst.csv"}, {"arrows": "to", "from": "VarMinusConst", "to": "VarMinusConst.csv"}, {"arrows": "to", "from": "VarPlusThrirtyOneAndNotThirtyOne", "to": "VarPlusThrirtyOneAndNotThirtyOne.csv"}, {"arrows": "to", "from": "VarPlusSixtyThreeAndNotThirtyOne", "to": "VarPlusSixtyThreeAndNotThirtyOne.csv"}, {"arrows": "to", "from": "VarPlusThrirtyOneDivMulSixtyFour", "to": "VarPlusThrirtyOneDivMulSixtyFour.csv"}, {"arrows": "to", "from": "VarTimesConstant", "to": "VarTimesConstant.csv"}, {"arrows": "to", "from": "VarDivByConstant", "to": "VarDivByConstant.csv"}, {"arrows": "to", "from": "MSTOREFreePtr", "to": "MSTOREFreePtr.csv"}, {"arrows": "to", "from": "MLOADFreePtr", "to": "MLOADFreePtr.csv"}, {"arrows": "to", "from": "MLOADFreePtr_To", "to": "MLOADFreePtr_To.csv"}, {"arrows": "to", "from": "MSTOREToFreePtrAddr", "to": "MSTOREToFreePtrAddr.csv"}, {"arrows": "to", "from": "MSTOREFreePtrOrder", "to": "MSTOREFreePtrOrder.csv"}, {"arrows": "to", "from": "MLOADFreePtrLoadsValueStoredAt", "to": "MLOADFreePtrLoadsValueStoredAt.csv"}, {"arrows": "to", "from": "MSTOREFreePtr_IncByAmount", "to": "MSTOREFreePtr_IncByAmount.csv"}, {"arrows": "to", "from": "MLOADSFreePtrUnchanged", "to": "MLOADSFreePtrUnchanged.csv"}, {"arrows": "to", "from": "MLOADSFreePtrUnchangedNoMemReuse", "to": "MLOADSFreePtrUnchangedNoMemReuse.csv"}, {"arrows": "to", "from": "StatementUsesMemoryReadsFromZero", "to": "StatementUsesMemoryReadsFromZero.csv"}, {"arrows": "to", "from": "Variable_SymbolicValue", "to": "Variable_SymbolicValue.csv"}, {"arrows": "to", "from": "FreePointerBasedValue", "to": "FreePointerBasedValue.csv"}, {"arrows": "to", "from": "FreePointerBasedValuesWithFreePointerAliases", "to": "FreePointerBasedValuesWithFreePointerAliases.csv"}, {"arrows": "to", "from": "FreePointerBasedValuesNumDiff", "to": "FreePointerBasedValuesNumDiff.csv"}, {"arrows": "to", "from": "FreePointerBasedValuesWithFreePointerAliasesNumVals", "to": "FreePointerBasedValuesWithFreePointerAliasesNumVals.csv"}, {"arrows": "to", "from": "FreePointerBasedValuesEqual", "to": "FreePointerBasedValuesEqual.csv"}, {"arrows": "to", "from": "FreePointerBasedValue_AliasRep", "to": "FreePointerBasedValue_AliasRep.csv"}, {"arrows": "to", "from": "VariableLengthMemoryCopyStatement", "to": "VariableLengthMemoryCopyStatement.csv"}, {"arrows": "to", "from": "PartialMSTORE", "to": "PartialMSTORE.csv"}, {"arrows": "to", "from": "LShiftBytes", "to": "LShiftBytes.csv"}, {"arrows": "to", "from": "StatementUsesMemory", "to": "StatementUsesMemory.csv"}, {"arrows": "to", "from": "StatementUsesMemory_StartVar", "to": "StatementUsesMemory_StartVar.csv"}, {"arrows": "to", "from": "StatementUsesMemory_LengthVar", "to": "StatementUsesMemory_LengthVar.csv"}, {"arrows": "to", "from": "StatementUsesMemoryReadsRawData", "to": "StatementUsesMemoryReadsRawData.csv"}, {"arrows": "to", "from": "StatementUsesMemoryReadsABIEnc", "to": "StatementUsesMemoryReadsABIEnc.csv"}, {"arrows": "to", "from": "StatementUsesMemoryReadsABIEncWSelector", "to": "StatementUsesMemoryReadsABIEncWSelector.csv"}, {"arrows": "to", "from": "StatementUsesMemoryOfInitiallyComputableLength", "to": "StatementUsesMemoryOfInitiallyComputableLength.csv"}, {"arrows": "to", "from": "StatementUsesMemoryOfComputableLength", "to": "StatementUsesMemoryOfComputableLength.csv"}, {"arrows": "to", "from": "StatementUsesMemoryOfNonComputableLength", "to": "StatementUsesMemoryOfNonComputableLength.csv"}, {"arrows": "to", "from": "StatementWritesMemoryOfConstantLength", "to": "StatementWritesMemoryOfConstantLength.csv"}, {"arrows": "to", "from": "StatementWritesMemoryOfLength", "to": "StatementWritesMemoryOfLength.csv"}, {"arrows": "to", "from": "StatementReadsMemoryOfConstantLength", "to": "StatementReadsMemoryOfConstantLength.csv"}, {"arrows": "to", "from": "MemoryAddressVarsNumDiff", "to": "MemoryAddressVarsNumDiff.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmt", "to": "MemWriteToMemConsStmt.csv"}, {"arrows": "to", "from": "InitialMemWriteToMemConsStmtWithNonComputableLength", "to": "InitialMemWriteToMemConsStmtWithNonComputableLength.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtWithNonComputableLength", "to": "MemWriteToMemConsStmtWithNonComputableLength.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtWithConstantLength", "to": "MemWriteToMemConsStmtWithConstantLength.csv"}, {"arrows": "to", "from": "StatementWritesMemoryOfConstantLengthAtMemAlias", "to": "StatementWritesMemoryOfConstantLengthAtMemAlias.csv"}, {"arrows": "to", "from": "StatementReadsMemoryOfConstantLengthAtMemAlias", "to": "StatementReadsMemoryOfConstantLengthAtMemAlias.csv"}, {"arrows": "to", "from": "StatementUsesMemoryOfNonComputableLength_LengthApprox", "to": "StatementUsesMemoryOfNonComputableLength_LengthApprox.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtInfoInit", "to": "MemWriteToMemConsStmtInfoInit.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtInfo", "to": "MemWriteToMemConsStmtInfo.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtInvalid", "to": "MemWriteToMemConsStmtInvalid.csv"}, {"arrows": "to", "from": "StatementWritesMemoryOfConstantLengthAtMemAlias", "to": "StatementWritesMemoryOfConstantLengthAtMemAlias.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtUpperLimit", "to": "MemWriteToMemConsStmtUpperLimit.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtLowerLimit", "to": "MemWriteToMemConsStmtLowerLimit.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtPartOfPrev", "to": "MemWriteToMemConsStmtPartOfPrev.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtResolved", "to": "MemWriteToMemConsStmtResolved.csv"}, {"arrows": "to", "from": "MSTOREToMemConsStmtWritesShiftedVar", "to": "MSTOREToMemConsStmtWritesShiftedVar.csv"}, {"arrows": "to", "from": "MSTOREToMemConsStmt_WrittenVar", "to": "MSTOREToMemConsStmt_WrittenVar.csv"}, {"arrows": "to", "from": "MSTOREToMemConsStmt_WrittenValue", "to": "MSTOREToMemConsStmt_WrittenValue.csv"}, {"arrows": "to", "from": "IsCallDataArrayVar", "to": "IsCallDataArrayVar.csv"}, {"arrows": "to", "from": "IsRegularArrayVar", "to": "IsRegularArrayVar.csv"}, {"arrows": "to", "from": "IsRawDataArrayVar", "to": "IsRawDataArrayVar.csv"}, {"arrows": "to", "from": "IsABIEncodedArrayVar", "to": "IsABIEncodedArrayVar.csv"}, {"arrows": "to", "from": "CallDataLoadReadsLength", "to": "CallDataLoadReadsLength.csv"}, {"arrows": "to", "from": "CallDataCopyArgInfo", "to": "CallDataCopyArgInfo.csv"}, {"arrows": "to", "from": "Array_ElementLength", "to": "Array_ElementLength.csv"}, {"arrows": "to", "from": "ArrayVarLengthVar", "to": "ArrayVarLengthVar.csv"}, {"arrows": "to", "from": "ArrayDataStartVar", "to": "ArrayDataStartVar.csv"}, {"arrows": "to", "from": "ArgArrayLenWrittenTo", "to": "ArgArrayLenWrittenTo.csv"}, {"arrows": "to", "from": "ArrayIndexAccess", "to": "ArrayIndexAccess.csv"}, {"arrows": "to", "from": "CallDataArrayGet", "to": "CallDataArrayGet.csv"}, {"arrows": "to", "from": "MemArrayGet", "to": "MemArrayGet.csv"}, {"arrows": "to", "from": "MemArrayPut", "to": "MemArrayPut.csv"}, {"arrows": "to", "from": "StatementUsesMemory_UsesArray", "to": "StatementUsesMemory_UsesArray.csv"}, {"arrows": "to", "from": "ArrayLoad", "to": "ArrayLoad.csv"}, {"arrows": "to", "from": "ArrayStore", "to": "ArrayStore.csv"}, {"arrows": "to", "from": "ArrayWriteToRelativeIndex", "to": "ArrayWriteToRelativeIndex.csv"}, {"arrows": "to", "from": "ArrayHasConstantLength", "to": "ArrayHasConstantLength.csv"}, {"arrows": "to", "from": "PossibleArray", "to": "PossibleArray.csv"}, {"arrows": "to", "from": "PossibleArrayLoose", "to": "PossibleArrayLoose.csv"}, {"arrows": "to", "from": "ArrayFromArray", "to": "ArrayFromArray.csv"}, {"arrows": "to", "from": "ArrayAllocationInternal", "to": "ArrayAllocationInternal.csv"}, {"arrows": "to", "from": "ArrayAllocation", "to": "ArrayAllocation.csv"}, {"arrows": "to", "from": "ReturnDataByteArray", "to": "ReturnDataByteArray.csv"}, {"arrows": "to", "from": "ArrayActualArg", "to": "ArrayActualArg.csv"}, {"arrows": "to", "from": "ArrayDataActualArg", "to": "ArrayDataActualArg.csv"}, {"arrows": "to", "from": "PossibleArrayCopy", "to": "PossibleArrayCopy.csv"}, {"arrows": "to", "from": "PossibleArrayAlias", "to": "PossibleArrayAlias.csv"}, {"arrows": "to", "from": "RegularArrayVarsInSameClass", "to": "RegularArrayVarsInSameClass.csv"}, {"arrows": "to", "from": "RawDataArrayVarsInSameClass", "to": "RawDataArrayVarsInSameClass.csv"}, {"arrows": "to", "from": "RawDataArrayVar_ClassRep", "to": "RawDataArrayVar_ClassRep.csv"}, {"arrows": "to", "from": "RegularArrayVar_ClassRep", "to": "RegularArrayVar_ClassRep.csv"}, {"arrows": "to", "from": "ABIEncodedArrayVarsInSameClass", "to": "ABIEncodedArrayVarsInSameClass.csv"}, {"arrows": "to", "from": "ABIEncodedArrayVar_ClassRep", "to": "ABIEncodedArrayVar_ClassRep.csv"}, {"arrows": "to", "from": "VarIsArray", "to": "VarIsArray.csv"}, {"arrows": "to", "from": "InductionVariable", "to": "InductionVariable.csv"}, {"arrows": "to", "from": "InductionVariableIncreasesByConst", "to": "InductionVariableIncreasesByConst.csv"}, {"arrows": "to", "from": "InductionVariableDecreasesByConst", "to": "InductionVariableDecreasesByConst.csv"}, {"arrows": "to", "from": "InductionVariableStartsAtConst", "to": "InductionVariableStartsAtConst.csv"}, {"arrows": "to", "from": "InductionVariableLowerBoundVar", "to": "InductionVariableLowerBoundVar.csv"}, {"arrows": "to", "from": "InductionVariableUpperBoundVar", "to": "InductionVariableUpperBoundVar.csv"}, {"arrows": "to", "from": "WellFromedLoopInductionVariable", "to": "WellFromedLoopInductionVariable.csv"}, {"arrows": "to", "from": "MemoryCopyLoop", "to": "MemoryCopyLoop.csv"}, {"arrows": "to", "from": "MemoryCopyLoopConstLength", "to": "MemoryCopyLoopConstLength.csv"}, {"arrows": "to", "from": "StatementWritesMemoryCopiedFromLoop", "to": "StatementWritesMemoryCopiedFromLoop.csv"}, {"arrows": "to", "from": "PublicFunctionArg", "to": "PublicFunctionArg.csv"}, {"arrows": "to", "from": "StatementUsesMemory_ActualMemoryArg", "to": "StatementUsesMemory_ActualMemoryArg.csv"}, {"arrows": "to", "from": "StatementUsesMemoryMemoryArgument", "to": "StatementUsesMemoryMemoryArgument.csv"}, {"arrows": "to", "from": "StatementUsesMemoryMemoryArgumentNew", "to": "StatementUsesMemoryMemoryArgumentNew.csv"}, {"arrows": "to", "from": "StatementUsesMemory_ActualArg", "to": "StatementUsesMemory_ActualArg.csv"}, {"arrows": "to", "from": "StatementUsesMemoryWriteAtRelativeIndex", "to": "StatementUsesMemoryWriteAtRelativeIndex.csv"}, {"arrows": "to", "from": "StatementUsesMemoryWriteAtRelativeIndex_Order", "to": "StatementUsesMemoryWriteAtRelativeIndex_Order.csv"}, {"arrows": "to", "from": "StatementUsesMemoryWritesAtRelativeIndexOrdered", "to": "StatementUsesMemoryWritesAtRelativeIndexOrdered.csv"}, {"arrows": "to", "from": "StatementUsesMemoryWritesAtRelativeIndexNotNext", "to": "StatementUsesMemoryWritesAtRelativeIndexNotNext.csv"}, {"arrows": "to", "from": "StatementUsesMemoryWritesAtRelativeIndexNext", "to": "StatementUsesMemoryWritesAtRelativeIndexNext.csv"}, {"arrows": "to", "from": "MemoryStatement_ActualArgNew", "to": "MemoryStatement_ActualArgNew.csv"}, {"arrows": "to", "from": "ABIEncodedArrayIncludesArray", "to": "ABIEncodedArrayIncludesArray.csv"}, {"arrows": "to", "from": "ABIEncodedArrayWFunctionSelector", "to": "ABIEncodedArrayWFunctionSelector.csv"}, {"arrows": "to", "from": "ABIEncodedArrayNoFunctionSelector", "to": "ABIEncodedArrayNoFunctionSelector.csv"}, {"arrows": "to", "from": "ABIEncodedArrayIncludesArrayAtConcreteIndex", "to": "ABIEncodedArrayIncludesArrayAtConcreteIndex.csv"}, {"arrows": "to", "from": "ABIEncodedArrayWriteTo", "to": "ABIEncodedArrayWriteTo.csv"}, {"arrows": "to", "from": "ABIEncodedArrayHasVarAtIndex", "to": "ABIEncodedArrayHasVarAtIndex.csv"}, {"arrows": "to", "from": "ABIEncodedArrayWriteToIsNotArrayOrLen", "to": "ABIEncodedArrayWriteToIsNotArrayOrLen.csv"}, {"arrows": "to", "from": "ABIEncodedArrayReadByStmt", "to": "ABIEncodedArrayReadByStmt.csv"}, {"arrows": "to", "from": "WriteToArrayUsedByABIEncodedArray", "to": "WriteToArrayUsedByABIEncodedArray.csv"}, {"arrows": "to", "from": "ExternalCallTakesWholeCallData", "to": "ExternalCallTakesWholeCallData.csv"}, {"arrows": "to", "from": "ArbitraryCall", "to": "ArbitraryCall.csv"}, {"arrows": "to", "from": "CALLReturnDataStartVar", "to": "CALLReturnDataStartVar.csv"}, {"arrows": "to", "from": "CALLReturnDataLengthVar", "to": "CALLReturnDataLengthVar.csv"}, {"arrows": "to", "from": "CALLReturnsFixedSizeData", "to": "CALLReturnsFixedSizeData.csv"}, {"arrows": "to", "from": "CALLReturnsArray", "to": "CALLReturnsArray.csv"}, {"arrows": "to", "from": "CALLReturnsNoData", "to": "CALLReturnsNoData.csv"}, {"arrows": "to", "from": "AllCALLsClassified", "to": "AllCALLsClassified.csv"}, {"arrows": "to", "from": "RETURNDATACOPYOfCALL", "to": "RETURNDATACOPYOfCALL.csv"}, {"arrows": "to", "from": "RETURNDATACOPYAllDataOfCALL", "to": "RETURNDATACOPYAllDataOfCALL.csv"}, {"arrows": "to", "from": "RETURNDATASIZEOfCALL", "to": "RETURNDATASIZEOfCALL.csv"}, {"arrows": "to", "from": "MLOADReadsReturnOfCALL", "to": "MLOADReadsReturnOfCALL.csv"}, {"arrows": "to", "from": "ExternalCall_ActualReturn", "to": "ExternalCall_ActualReturn.csv"}, {"arrows": "to", "from": "CDArg", "to": "CDArg.csv"}, {"arrows": "to", "from": "ValueIsPossibleSigHash", "to": "ValueIsPossibleSigHash.csv"}, {"arrows": "to", "from": "Helper_BigValueFilter", "to": "Helper_BigValueFilter.csv"}, {"arrows": "to", "from": "Helper_Zeros", "to": "Helper_Zeros.csv"}, {"arrows": "to", "from": "EcrecoverCompilerBug", "to": "EcrecoverCompilerBug.csv"}, {"arrows": "to", "from": "Analytics_ERC20TransferCall", "to": "Analytics_ERC20TransferCall.csv"}, {"arrows": "to", "from": "Analytics_ERC20TransferFromCall", "to": "Analytics_ERC20TransferFromCall.csv"}, {"arrows": "to", "from": "Analytics_ERC20ApproveCall", "to": "Analytics_ERC20ApproveCall.csv"}, {"arrows": "to", "from": "Analytics_CallWithSig", "to": "Analytics_CallWithSig.csv"}, {"arrows": "to", "from": "Analytics_MemConsStmtUsesFromDistinctPaths", "to": "Analytics_MemConsStmtUsesFromDistinctPaths.csv"}, {"arrows": "to", "from": "Analytics_NonModeledMSTORE", "to": "Analytics_NonModeledMSTORE.csv"}, {"arrows": "to", "from": "Analytics_NonModeledMLOAD", "to": "Analytics_NonModeledMLOAD.csv"}, {"arrows": "to", "from": "Analytics_PublicFunctionArg", "to": "Analytics_PublicFunctionArg.csv"}, {"arrows": "to", "from": "Analytics_PublicFunctionArrayArg", "to": "Analytics_PublicFunctionArrayArg.csv"}, {"arrows": "to", "from": "NonModeledMSTORE", "to": "NonModeledMSTORE.csv"}, {"arrows": "to", "from": "Verbatim_AllVsModeledMSTOREs", "to": "Verbatim_AllVsModeledMSTOREs.csv"}, {"arrows": "to", "from": "Verbatim_AllVsModeledMLOADs", "to": "Verbatim_AllVsModeledMLOADs.csv"}, {"arrows": "to", "from": "Verbatim_MemConsStmtsLengths", "to": "Verbatim_MemConsStmtsLengths.csv"}, {"arrows": "to", "from": "Verbatim_CDLAllVSStaticVSArr", "to": "Verbatim_CDLAllVSStaticVSArr.csv"}, {"arrows": "to", "from": "Analytics_LenVarHasManyVars", "to": "Analytics_LenVarHasManyVars.csv"}, {"arrows": "to", "from": "SHA3NoActualArgs", "to": "SHA3NoActualArgs.csv"}, {"arrows": "to", "from": "StatementConsumesMemoryNoArgs", "to": "StatementConsumesMemoryNoArgs.csv"}, {"arrows": "to", "from": "NonModeledMLOAD", "to": "NonModeledMLOAD.csv"}, {"arrows": "to", "from": "SHA3_KnownContent", "to": "SHA3_KnownContent.csv"}, {"arrows": "to", "from": "CallToSignatureFromSHA3", "to": "CallToSignatureFromSHA3.csv"}, {"arrows": "to", "from": "CallToSignature", "to": "CallToSignature.csv"}, {"arrows": "to", "from": "CallToSignatureFromSHA3", "to": "CallToSignatureFromSHA3.csv"}, {"arrows": "to", "from": "ERC20TransferCall", "to": "ERC20TransferCall.csv"}, {"arrows": "to", "from": "ERC20TransferFromCall", "to": "ERC20TransferFromCall.csv"}, {"arrows": "to", "from": "ERC20ApproveCall", "to": "ERC20ApproveCall.csv"}, {"arrows": "to", "from": "FunctionToInline", "to": "FunctionToInline.csv"}, {"arrows": "to", "from": "SafelyInlinableFunction", "to": "SafelyInlinableFunction.csv"}, {"arrows": "to", "from": "FunHasArgMismatch", "to": "FunHasArgMismatch.csv"}, {"arrows": "to", "from": "FunHasRetMismatch", "to": "FunHasRetMismatch.csv"}, {"arrows": "to", "from": "Function_Exit", "to": "Function_Exit.csv"}, {"arrows": "to", "from": "InVar_OutVar", "to": "InVar_OutVar.csv"}, {"arrows": "to", "from": "ClonedCallArgs", "to": "ClonedCallArgs.csv"}, {"arrows": "to", "from": "ClonedCallRets", "to": "ClonedCallRets.csv"}, {"arrows": "to", "from": "FunctionToInline_RetStmt", "to": "FunctionToInline_RetStmt.csv"}, {"arrows": "to", "from": "CallToClonedFunction", "to": "CallToClonedFunction.csv"}, {"arrows": "to", "from": "BlockToClone", "to": "BlockToClone.csv"}, {"arrows": "to", "from": "StatementToClone", "to": "StatementToClone.csv"}, {"arrows": "to", "from": "VariableToClone", "to": "VariableToClone.csv"}, {"arrows": "to", "from": "InlineCandidate", "to": "InlineCandidate.csv"}, {"arrows": "to", "from": "NeedsMoreInlining", "to": "NeedsMoreInlining.csv"}, {"arrows": "to", "from": "inliner.Out_Statement_Opcode", "to": "TAC_Op.csv"}, {"arrows": "to", "from": "inliner.Out_IsStatement", "to": "TAC_Stmt.csv"}, {"arrows": "to", "from": "inliner.Out_Statement_Block", "to": "TAC_Block.csv"}, {"arrows": "to", "from": "inliner.Out_Variable_Value", "to": "TAC_Variable_Value.csv"}, {"arrows": "to", "from": "inliner.Out_Variable_BlockValue", "to": "TAC_Variable_BlockValue.csv"}, {"arrows": "to", "from": "inliner.Out_LocalBlockEdge", "to": "LocalBlockEdge.csv"}, {"arrows": "to", "from": "inliner.Out_FallthroughEdge", "to": "IRFallthroughEdge.csv"}, {"arrows": "to", "from": "inliner.Out_CallGraphEdge", "to": "IRFunctionCall.csv"}, {"arrows": "to", "from": "inliner.Out_FunctionCallReturn", "to": "IRFunctionCallReturn.csv"}, {"arrows": "to", "from": "inliner.Out_IsFunction", "to": "Function.csv"}, {"arrows": "to", "from": "inliner.Out_Block_Gas", "to": "TAC_Block_Gas.csv"}, {"arrows": "to", "from": "inliner.Out_Block_CodeChunkAccessed", "to": "TAC_Block_CodeChunkAccessed.csv"}, {"arrows": "to", "from": "inliner.Out_OriginalStatement_Block", "to": "TAC_OriginalStatement_Block.csv"}, {"arrows": "to", "from": "inliner.Out_FormalArgs", "to": "FormalArgs.csv"}, {"arrows": "to", "from": "inliner.Out_Statement_Uses", "to": "TAC_Use.csv"}, {"arrows": "to", "from": "inliner.Out_Statement_Defines", "to": "TAC_Def.csv"}, {"arrows": "to", "from": "inliner.Out_Statement_Next", "to": "TAC_Statement_Next.csv"}, {"arrows": "to", "from": "inliner.Out_FunctionEntry", "to": "IRFunctionEntry.csv"}, {"arrows": "to", "from": "inliner.Out_InFunction", "to": "InFunction.csv"}, {"arrows": "to", "from": "inliner.Out_ActualReturnArgs", "to": "ActualReturnArgs.csv"}, {"arrows": "to", "from": "LowBytesMaskOp", "to": "LowBytesMaskOp.csv"}, {"arrows": "to", "from": "AntiMaskOp", "to": "AntiMaskOp.csv"}, {"arrows": "to", "from": "FromHasNoEdges", "to": "FromHasNoEdges.csv"}, {"arrows": "to", "from": "FromHasTwoEdges", "to": "FromHasTwoEdges.csv"}, {"arrows": "to", "from": "PartialMSTORE", "to": "PartialMSTORE.csv"}, {"arrows": "to", "from": "LShiftBytes", "to": "LShiftBytes.csv"}, {"arrows": "to", "from": "StatementUsesMemoryOfNonComputableLength_LengthApprox", "to": "StatementUsesMemoryOfNonComputableLength_LengthApprox.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtInfoInit", "to": "MemWriteToMemConsStmtInfoInit.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtInfo", "to": "MemWriteToMemConsStmtInfo.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtInvalid", "to": "MemWriteToMemConsStmtInvalid.csv"}, {"arrows": "to", "from": "StatementWritesMemoryOfConstantLengthAtMemAlias", "to": "StatementWritesMemoryOfConstantLengthAtMemAlias.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtUpperLimit", "to": "MemWriteToMemConsStmtUpperLimit.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtLowerLimit", "to": "MemWriteToMemConsStmtLowerLimit.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtPartOfPrev", "to": "MemWriteToMemConsStmtPartOfPrev.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtResolved", "to": "MemWriteToMemConsStmtResolved.csv"}, {"arrows": "to", "from": "MSTOREToMemConsStmtWritesShiftedVar", "to": "MSTOREToMemConsStmtWritesShiftedVar.csv"}, {"arrows": "to", "from": "MSTOREToMemConsStmt_WrittenVar", "to": "MSTOREToMemConsStmt_WrittenVar.csv"}, {"arrows": "to", "from": "ArrayWriteToRelativeIndex", "to": "ArrayWriteToRelativeIndex.csv"}, {"arrows": "to", "from": "ArrayActualArg", "to": "ArrayActualArg.csv"}, {"arrows": "to", "from": "ArrayDataActualArg", "to": "ArrayDataActualArg.csv"}, {"arrows": "to", "from": "PublicFunctionArg", "to": "PublicFunctionArg.csv"}, {"arrows": "to", "from": "MemoryStatement_ActualArgNew", "to": "MemoryStatement_ActualArgNew.csv"}, {"arrows": "to", "from": "ExternalCallTakesWholeCallData", "to": "ExternalCallTakesWholeCallData.csv"}, {"arrows": "to", "from": "ArbitraryCall", "to": "ArbitraryCall.csv"}, {"arrows": "to", "from": "AllCALLsClassified", "to": "AllCALLsClassified.csv"}, {"arrows": "to", "from": "CDArg", "to": "CDArg.csv"}, {"arrows": "to", "from": "EcrecoverCompilerBug", "to": "EcrecoverCompilerBug.csv"}, {"arrows": "to", "from": "Analytics_ERC20TransferCall", "to": "Analytics_ERC20TransferCall.csv"}, {"arrows": "to", "from": "Analytics_ERC20TransferFromCall", "to": "Analytics_ERC20TransferFromCall.csv"}, {"arrows": "to", "from": "Analytics_ERC20ApproveCall", "to": "Analytics_ERC20ApproveCall.csv"}, {"arrows": "to", "from": "Analytics_CallWithSig", "to": "Analytics_CallWithSig.csv"}, {"arrows": "to", "from": "Analytics_MemConsStmtUsesFromDistinctPaths", "to": "Analytics_MemConsStmtUsesFromDistinctPaths.csv"}, {"arrows": "to", "from": "Analytics_NonModeledMSTORE", "to": "Analytics_NonModeledMSTORE.csv"}, {"arrows": "to", "from": "Analytics_NonModeledMLOAD", "to": "Analytics_NonModeledMLOAD.csv"}, {"arrows": "to", "from": "Analytics_PublicFunctionArg", "to": "Analytics_PublicFunctionArg.csv"}, {"arrows": "to", "from": "Analytics_PublicFunctionArrayArg", "to": "Analytics_PublicFunctionArrayArg.csv"}, {"arrows": "to", "from": "Verbatim_AllVsModeledMSTOREs", "to": "Verbatim_AllVsModeledMSTOREs.csv"}, {"arrows": "to", "from": "Verbatim_AllVsModeledMLOADs", "to": "Verbatim_AllVsModeledMLOADs.csv"}, {"arrows": "to", "from": "Verbatim_MemConsStmtsLengths", "to": "Verbatim_MemConsStmtsLengths.csv"}, {"arrows": "to", "from": "Verbatim_CDLAllVSStaticVSArr", "to": "Verbatim_CDLAllVSStaticVSArr.csv"}, {"arrows": "to", "from": "Analytics_LenVarHasManyVars", "to": "Analytics_LenVarHasManyVars.csv"}, {"arrows": "to", "from": "CallToSignature", "to": "CallToSignature.csv"}, {"arrows": "to", "from": "CallToSignatureFromSHA3", "to": "CallToSignatureFromSHA3.csv"}, {"arrows": "to", "from": "PossibleStorageIndex", "to": "PossibleStorageIndex.csv"}, {"arrows": "to", "from": "IsStorageIndex", "to": "IsStorageIndex.csv"}, {"arrows": "to", "from": "IsStorageConstruct", "to": "IsStorageConstruct.csv"}, {"arrows": "to", "from": "CompositeStorageIndex_Info", "to": "CompositeStorageIndex_Info.csv"}, {"arrows": "to", "from": "Variable_StorageIndex", "to": "Variable_StorageIndex.csv"}, {"arrows": "to", "from": "StorageAccessStmt", "to": "StorageAccessStmt.csv"}, {"arrows": "to", "from": "NewModelKnownStore", "to": "NewModelKnownStore.csv"}, {"arrows": "to", "from": "NewModelKnownLoad", "to": "NewModelKnownLoad.csv"}, {"arrows": "to", "from": "Verbatim_NewModelKnownAndAllStores", "to": "Verbatim_NewModelKnownAndAllStores.csv"}, {"arrows": "to", "from": "Verbatim_NewModelKnownAndAllLoads", "to": "Verbatim_NewModelKnownAndAllLoads.csv"}, {"arrows": "to", "from": "NewModelIsUnknownLoad", "to": "NewModelIsUnknownLoad.csv"}, {"arrows": "to", "from": "NewModelIsUnknownStore", "to": "NewModelIsUnknownStore.csv"}, {"arrows": "to", "from": "NewModelAllStoresKnown", "to": "NewModelAllStoresKnown.csv"}, {"arrows": "to", "from": "NewModelAllLoadsKnown", "to": "NewModelAllLoadsKnown.csv"}, {"arrows": "to", "from": "NewModelAllStorageOpsKnown", "to": "NewModelAllStorageOpsKnown.csv"}, {"arrows": "to", "from": "NewModelHasStorageOpsUnknown", "to": "NewModelHasStorageOpsUnknown.csv"}, {"arrows": "to", "from": "VarHoldsBytesOfStorVarFinal", "to": "VarHoldsBytesOfStorVarFinal.csv"}, {"arrows": "to", "from": "VarWrittenToBytesOfStorVar", "to": "VarWrittenToBytesOfStorVar.csv"}, {"arrows": "to", "from": "VarWrittenToBytesOfStorVarIsMergedVar", "to": "VarWrittenToBytesOfStorVarIsMergedVar.csv"}, {"arrows": "to", "from": "VarWrittenToBytesOfStorVarFinal", "to": "VarWrittenToBytesOfStorVarFinal.csv"}, {"arrows": "to", "from": "ConstWrittenToBytesOfStorVar", "to": "ConstWrittenToBytesOfStorVar.csv"}, {"arrows": "to", "from": "StorageVariableType", "to": "StorageVariableType.csv"}, {"arrows": "to", "from": "IsKnownLoad", "to": "IsKnownLoad.csv"}, {"arrows": "to", "from": "IsKnownStore", "to": "IsKnownStore.csv"}, {"arrows": "to", "from": "Verbatim_KnownAndAllStores", "to": "Verbatim_KnownAndAllStores.csv"}, {"arrows": "to", "from": "Verbatim_KnownAndAllLoads", "to": "Verbatim_KnownAndAllLoads.csv"}, {"arrows": "to", "from": "AllStoresKnown", "to": "AllStoresKnown.csv"}, {"arrows": "to", "from": "AllLoadsKnown", "to": "AllLoadsKnown.csv"}, {"arrows": "to", "from": "AllStorageOpsKnown", "to": "AllStorageOpsKnown.csv"}, {"arrows": "to", "from": "HasStorageOpsUnknown", "to": "HasStorageOpsUnknown.csv"}, {"arrows": "to", "from": "StaticallyGuardedBlock", "to": "StaticallyGuardedBlock.csv"}, {"arrows": "to", "from": "Dominates", "to": "Dominates.csv"}, {"arrows": "to", "from": "StaticallyGuardedBlock", "to": "StaticallyGuardedBlock.csv"}, {"arrows": "to", "from": "ControlsWith", "to": "ControlsWith.csv"}, {"arrows": "to", "from": "LoadFromDataStructure", "to": "LoadFromDataStructure.csv"}, {"arrows": "to", "from": "SenderGuard", "to": "SenderGuard.csv"}, {"arrows": "to", "from": "LowBytesMaskOp", "to": "LowBytesMaskOp.csv"}, {"arrows": "to", "from": "AntiMaskOp", "to": "AntiMaskOp.csv"}, {"arrows": "to", "from": "VarHoldsBytesOfStorVarFinal", "to": "VarHoldsBytesOfStorVarFinal.csv"}, {"arrows": "to", "from": "VarWrittenToBytesOfStorVar", "to": "VarWrittenToBytesOfStorVar.csv"}, {"arrows": "to", "from": "VarWrittenToBytesOfStorVarIsMergedVar", "to": "VarWrittenToBytesOfStorVarIsMergedVar.csv"}, {"arrows": "to", "from": "VarWrittenToBytesOfStorVarFinal", "to": "VarWrittenToBytesOfStorVarFinal.csv"}, {"arrows": "to", "from": "ConstWrittenToBytesOfStorVar", "to": "ConstWrittenToBytesOfStorVar.csv"}, {"arrows": "to", "from": "StorageVariableType", "to": "StorageVariableType.csv"}, {"arrows": "to", "from": "IsKnownLoad", "to": "IsKnownLoad.csv"}, {"arrows": "to", "from": "IsKnownStore", "to": "IsKnownStore.csv"}, {"arrows": "to", "from": "Verbatim_KnownAndAllStores", "to": "Verbatim_KnownAndAllStores.csv"}, {"arrows": "to", "from": "Verbatim_KnownAndAllLoads", "to": "Verbatim_KnownAndAllLoads.csv"}, {"arrows": "to", "from": "AllStoresKnown", "to": "AllStoresKnown.csv"}, {"arrows": "to", "from": "AllLoadsKnown", "to": "AllLoadsKnown.csv"}, {"arrows": "to", "from": "AllStorageOpsKnown", "to": "AllStorageOpsKnown.csv"}, {"arrows": "to", "from": "HasStorageOpsUnknown", "to": "HasStorageOpsUnknown.csv"}, {"arrows": "to", "from": "proto_vulnerability.csv", "to": "ProtoVulnerability"}, {"arrows": "to", "from": "ProtoVulnerability", "to": "proto_vulnerability.csv"}, {"arrows": "to", "from": "Fail", "to": "Fail.csv"}, {"arrows": "to", "from": "LowBytesMaskOp", "to": "LowBytesMaskOp.csv"}, {"arrows": "to", "from": "AntiMaskOp", "to": "AntiMaskOp.csv"}, {"arrows": "to", "from": "CallToSignature", "to": "CallToSignature.csv"}, {"arrows": "to", "from": "CallToSignatureFromSHA3", "to": "CallToSignatureFromSHA3.csv"}, {"arrows": "to", "from": "EcrecoverCompilerBug", "to": "EcrecoverCompilerBug.csv"}, {"arrows": "to", "from": "LowBytesMaskOp", "to": "LowBytesMaskOp.csv"}, {"arrows": "to", "from": "AntiMaskOp", "to": "AntiMaskOp.csv"}, {"arrows": "to", "from": "FromHasNoEdges", "to": "FromHasNoEdges.csv"}, {"arrows": "to", "from": "FromHasTwoEdges", "to": "FromHasTwoEdges.csv"}, {"arrows": "to", "from": "PartialMSTORE", "to": "PartialMSTORE.csv"}, {"arrows": "to", "from": "LShiftBytes", "to": "LShiftBytes.csv"}, {"arrows": "to", "from": "StatementUsesMemoryOfNonComputableLength_LengthApprox", "to": "StatementUsesMemoryOfNonComputableLength_LengthApprox.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtInfoInit", "to": "MemWriteToMemConsStmtInfoInit.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtInfo", "to": "MemWriteToMemConsStmtInfo.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtInvalid", "to": "MemWriteToMemConsStmtInvalid.csv"}, {"arrows": "to", "from": "StatementWritesMemoryOfConstantLengthAtMemAlias", "to": "StatementWritesMemoryOfConstantLengthAtMemAlias.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtUpperLimit", "to": "MemWriteToMemConsStmtUpperLimit.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtLowerLimit", "to": "MemWriteToMemConsStmtLowerLimit.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtPartOfPrev", "to": "MemWriteToMemConsStmtPartOfPrev.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtResolved", "to": "MemWriteToMemConsStmtResolved.csv"}, {"arrows": "to", "from": "MSTOREToMemConsStmtWritesShiftedVar", "to": "MSTOREToMemConsStmtWritesShiftedVar.csv"}, {"arrows": "to", "from": "MSTOREToMemConsStmt_WrittenVar", "to": "MSTOREToMemConsStmt_WrittenVar.csv"}, {"arrows": "to", "from": "ArrayWriteToRelativeIndex", "to": "ArrayWriteToRelativeIndex.csv"}, {"arrows": "to", "from": "ArrayActualArg", "to": "ArrayActualArg.csv"}, {"arrows": "to", "from": "ArrayDataActualArg", "to": "ArrayDataActualArg.csv"}, {"arrows": "to", "from": "PublicFunctionArg", "to": "PublicFunctionArg.csv"}, {"arrows": "to", "from": "MemoryStatement_ActualArgNew", "to": "MemoryStatement_ActualArgNew.csv"}, {"arrows": "to", "from": "ExternalCallTakesWholeCallData", "to": "ExternalCallTakesWholeCallData.csv"}, {"arrows": "to", "from": "ArbitraryCall", "to": "ArbitraryCall.csv"}, {"arrows": "to", "from": "AllCALLsClassified", "to": "AllCALLsClassified.csv"}, {"arrows": "to", "from": "CDArg", "to": "CDArg.csv"}, {"arrows": "to", "from": "EcrecoverCompilerBug", "to": "EcrecoverCompilerBug.csv"}, {"arrows": "to", "from": "Analytics_ERC20TransferCall", "to": "Analytics_ERC20TransferCall.csv"}, {"arrows": "to", "from": "Analytics_ERC20TransferFromCall", "to": "Analytics_ERC20TransferFromCall.csv"}, {"arrows": "to", "from": "Analytics_ERC20ApproveCall", "to": "Analytics_ERC20ApproveCall.csv"}, {"arrows": "to", "from": "Analytics_CallWithSig", "to": "Analytics_CallWithSig.csv"}, {"arrows": "to", "from": "Analytics_MemConsStmtUsesFromDistinctPaths", "to": "Analytics_MemConsStmtUsesFromDistinctPaths.csv"}, {"arrows": "to", "from": "Analytics_NonModeledMSTORE", "to": "Analytics_NonModeledMSTORE.csv"}, {"arrows": "to", "from": "Analytics_NonModeledMLOAD", "to": "Analytics_NonModeledMLOAD.csv"}, {"arrows": "to", "from": "Analytics_PublicFunctionArg", "to": "Analytics_PublicFunctionArg.csv"}, {"arrows": "to", "from": "Analytics_PublicFunctionArrayArg", "to": "Analytics_PublicFunctionArrayArg.csv"}, {"arrows": "to", "from": "Verbatim_AllVsModeledMSTOREs", "to": "Verbatim_AllVsModeledMSTOREs.csv"}, {"arrows": "to", "from": "Verbatim_AllVsModeledMLOADs", "to": "Verbatim_AllVsModeledMLOADs.csv"}, {"arrows": "to", "from": "Verbatim_MemConsStmtsLengths", "to": "Verbatim_MemConsStmtsLengths.csv"}, {"arrows": "to", "from": "Verbatim_CDLAllVSStaticVSArr", "to": "Verbatim_CDLAllVSStaticVSArr.csv"}, {"arrows": "to", "from": "Analytics_LenVarHasManyVars", "to": "Analytics_LenVarHasManyVars.csv"}, {"arrows": "to", "from": "CallToSignature", "to": "CallToSignature.csv"}, {"arrows": "to", "from": "CallToSignatureFromSHA3", "to": "CallToSignatureFromSHA3.csv"}, {"arrows": "to", "from": "ArrayWriteToRelativeIndex", "to": "ArrayWriteToRelativeIndex.csv"}, {"arrows": "to", "from": "ArrayActualArg", "to": "ArrayActualArg.csv"}, {"arrows": "to", "from": "ArrayDataActualArg", "to": "ArrayDataActualArg.csv"}, {"arrows": "to", "from": "Analytics_ERC20TransferCall", "to": "Analytics_ERC20TransferCall.csv"}, {"arrows": "to", "from": "Analytics_ERC20TransferFromCall", "to": "Analytics_ERC20TransferFromCall.csv"}, {"arrows": "to", "from": "Analytics_ERC20ApproveCall", "to": "Analytics_ERC20ApproveCall.csv"}, {"arrows": "to", "from": "Analytics_CallWithSig", "to": "Analytics_CallWithSig.csv"}, {"arrows": "to", "from": "Analytics_MemConsStmtUsesFromDistinctPaths", "to": "Analytics_MemConsStmtUsesFromDistinctPaths.csv"}, {"arrows": "to", "from": "Analytics_NonModeledMSTORE", "to": "Analytics_NonModeledMSTORE.csv"}, {"arrows": "to", "from": "Analytics_NonModeledMLOAD", "to": "Analytics_NonModeledMLOAD.csv"}, {"arrows": "to", "from": "Analytics_PublicFunctionArg", "to": "Analytics_PublicFunctionArg.csv"}, {"arrows": "to", "from": "Analytics_PublicFunctionArrayArg", "to": "Analytics_PublicFunctionArrayArg.csv"}, {"arrows": "to", "from": "Verbatim_AllVsModeledMSTOREs", "to": "Verbatim_AllVsModeledMSTOREs.csv"}, {"arrows": "to", "from": "Verbatim_AllVsModeledMLOADs", "to": "Verbatim_AllVsModeledMLOADs.csv"}, {"arrows": "to", "from": "Verbatim_MemConsStmtsLengths", "to": "Verbatim_MemConsStmtsLengths.csv"}, {"arrows": "to", "from": "Verbatim_CDLAllVSStaticVSArr", "to": "Verbatim_CDLAllVSStaticVSArr.csv"}, {"arrows": "to", "from": "Analytics_LenVarHasManyVars", "to": "Analytics_LenVarHasManyVars.csv"}, {"arrows": "to", "from": "PublicFunctionArg", "to": "PublicFunctionArg.csv"}, {"arrows": "to", "from": "MemoryStatement_ActualArgNew", "to": "MemoryStatement_ActualArgNew.csv"}, {"arrows": "to", "from": "ExternalCallTakesWholeCallData", "to": "ExternalCallTakesWholeCallData.csv"}, {"arrows": "to", "from": "ArbitraryCall", "to": "ArbitraryCall.csv"}, {"arrows": "to", "from": "AllCALLsClassified", "to": "AllCALLsClassified.csv"}, {"arrows": "to", "from": "CDArg", "to": "CDArg.csv"}, {"arrows": "to", "from": "FromHasNoEdges", "to": "FromHasNoEdges.csv"}, {"arrows": "to", "from": "FromHasTwoEdges", "to": "FromHasTwoEdges.csv"}, {"arrows": "to", "from": "PartialMSTORE", "to": "PartialMSTORE.csv"}, {"arrows": "to", "from": "LShiftBytes", "to": "LShiftBytes.csv"}, {"arrows": "to", "from": "StatementUsesMemoryOfNonComputableLength_LengthApprox", "to": "StatementUsesMemoryOfNonComputableLength_LengthApprox.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtInfoInit", "to": "MemWriteToMemConsStmtInfoInit.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtInfo", "to": "MemWriteToMemConsStmtInfo.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtInvalid", "to": "MemWriteToMemConsStmtInvalid.csv"}, {"arrows": "to", "from": "StatementWritesMemoryOfConstantLengthAtMemAlias", "to": "StatementWritesMemoryOfConstantLengthAtMemAlias.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtUpperLimit", "to": "MemWriteToMemConsStmtUpperLimit.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtLowerLimit", "to": "MemWriteToMemConsStmtLowerLimit.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtPartOfPrev", "to": "MemWriteToMemConsStmtPartOfPrev.csv"}, {"arrows": "to", "from": "MemWriteToMemConsStmtResolved", "to": "MemWriteToMemConsStmtResolved.csv"}, {"arrows": "to", "from": "MSTOREToMemConsStmtWritesShiftedVar", "to": "MSTOREToMemConsStmtWritesShiftedVar.csv"}, {"arrows": "to", "from": "MSTOREToMemConsStmt_WrittenVar", "to": "MSTOREToMemConsStmt_WrittenVar.csv"}, {"arrows": "to", "from": "Out_Statement_Opcode", "to": "Out_Statement_Opcode.csv"}, {"arrows": "to", "from": "Out_Statement_Next", "to": "Out_Statement_Next.csv"}, {"arrows": "to", "from": "Out_PushValue", "to": "Out_PushValue.csv"}, {"arrows": "to", "from": "Statement_Opcode", "to": "Statement_Opcode.csv"}, {"arrows": "to", "from": "Statement_Next", "to": "Statement_Next.csv"}, {"arrows": "to", "from": "PushValue", "to": "PushValue.csv"}, {"arrows": "to", "from": "StatementToClonedStatement", "to": "StatementToClonedStatement.csv"}, {"arrows": "to", "from": "Block_OriginalBlock", "to": "Block_OriginalBlock.csv"}, {"arrows": "to", "from": "BlockToClone", "to": "BlockToClone.csv"}, {"arrows": "to", "from": "DirectBlockEdge", "to": "DirectBlockEdge.csv"}, {"arrows": "to", "from": "BlockPushedToStack", "to": "BlockPushedToStack.csv"}, {"arrows": "to", "from": "BlockPushesBlockToStack", "to": "BlockPushesBlockToStack.csv"}, {"arrows": "to", "from": "BlockToCloneNewInstance", "to": "BlockToCloneNewInstance.csv"}, {"arrows": "to", "from": "ClonedBlockAddressPushedBy", "to": "ClonedBlockAddressPushedBy.csv"}, {"arrows": "to", "from": "PossibleCallerWithReturn", "to": "PossibleCallerWithReturn.csv"}, {"arrows": "to", "from": "BlockPushesCloningCandidate", "to": "BlockPushesCloningCandidate.csv"}, {"arrows": "to", "from": "analysis.StackBalanceBlock", "to": "analysis.StackBalanceBlock.csv"}, {"arrows": "to", "from": "BlockCloningCandidate", "to": "BlockCloningCandidate.csv"}, {"arrows": "to", "from": "bytecode.hex", "to": "ByteCodeHex"}, {"arrows": "to", "from": "bytecode.hex", "to": "_ByteCodeHex"}, {"arrows": "to", "from": "StackBalanceBlockTargetEscapes", "to": "StackBalanceBlockTargetEscapes.csv"}, {"arrows": "to", "from": "BlockComparesSigVyper", "to": "BlockComparesSigVyper.csv"}, {"arrows": "to", "from": "PushValue.facts", "to": "PushValue"}, {"arrows": "to", "from": "Statement_Opcode.facts", "to": "Statement_Opcode"}, {"arrows": "to", "from": "Statement_Next.facts", "to": "Statement_Next"}, {"arrows": "to", "from": "MaxContextDepth.csv", "to": "InputMaxContextDepth"}, {"arrows": "to", "from": "DropLast", "to": "DropLast.csv"}, {"arrows": "to", "from": "Fail", "to": "Fail.csv"}, {"arrows": "to", "from": "Out_Statement_Opcode", "to": "Out_Statement_Opcode.csv"}, {"arrows": "to", "from": "Out_Statement_Next", "to": "Out_Statement_Next.csv"}, {"arrows": "to", "from": "Out_PushValue", "to": "Out_PushValue.csv"}, {"arrows": "to", "from": "Statement_Opcode", "to": "Statement_Opcode.csv"}, {"arrows": "to", "from": "Statement_Next", "to": "Statement_Next.csv"}, {"arrows": "to", "from": "PushValue", "to": "PushValue.csv"}, {"arrows": "to", "from": "StatementToClonedStatement", "to": "StatementToClonedStatement.csv"}, {"arrows": "to", "from": "Block_OriginalBlock", "to": "Block_OriginalBlock.csv"}, {"arrows": "to", "from": "BlockToClone", "to": "BlockToClone.csv"}, {"arrows": "to", "from": "DirectBlockEdge", "to": "DirectBlockEdge.csv"}, {"arrows": "to", "from": "BlockPushedToStack", "to": "BlockPushedToStack.csv"}, {"arrows": "to", "from": "BlockPushesBlockToStack", "to": "BlockPushesBlockToStack.csv"}, {"arrows": "to", "from": "BlockToCloneNewInstance", "to": "BlockToCloneNewInstance.csv"}, {"arrows": "to", "from": "ClonedBlockAddressPushedBy", "to": "ClonedBlockAddressPushedBy.csv"}, {"arrows": "to", "from": "PossibleCallerWithReturn", "to": "PossibleCallerWithReturn.csv"}, {"arrows": "to", "from": "BlockPushesCloningCandidate", "to": "BlockPushesCloningCandidate.csv"}, {"arrows": "to", "from": "analysis.StackBalanceBlock", "to": "analysis.StackBalanceBlock.csv"}, {"arrows": "to", "from": "BlockCloningCandidate", "to": "BlockCloningCandidate.csv"}, {"arrows": "to", "from": "bytecode.hex", "to": "ByteCodeHex"}, {"arrows": "to", "from": "bytecode.hex", "to": "_ByteCodeHex"}, {"arrows": "to", "from": "StackBalanceBlockTargetEscapes", "to": "StackBalanceBlockTargetEscapes.csv"}, {"arrows": "to", "from": "BlockComparesSigVyper", "to": "BlockComparesSigVyper.csv"}, {"arrows": "to", "from": "PushValue.facts", "to": "PushValue"}, {"arrows": "to", "from": "Statement_Opcode.facts", "to": "Statement_Opcode"}, {"arrows": "to", "from": "Statement_Next.facts", "to": "Statement_Next"}, {"arrows": "to", "from": "PublicFunctionSignature.facts", "to": "PublicFunctionSignature"}, {"arrows": "to", "from": "ByteCodeHex", "to": "bytecode.hex"}, {"arrows": "to", "from": "OpcodePossiblyHalts", "to": "OpcodePossiblyHalts.csv"}, {"arrows": "to", "from": "IRBlockEdge", "to": "IRBlockEdge.csv"}, {"arrows": "to", "from": "IRPublicFunction", "to": "PublicFunction.csv"}, {"arrows": "to", "from": "Statement_IRStatement", "to": "Statement_IRStatement.csv"}, {"arrows": "to", "from": "CycleEntry", "to": "CycleEntry.csv"}, {"arrows": "to", "from": "PHILocation", "to": "PHILocation.csv"}, {"arrows": "to", "from": "TAC_Op", "to": "TAC_Op.csv"}, {"arrows": "to", "from": "TAC_Stmt", "to": "TAC_Stmt.csv"}, {"arrows": "to", "from": "TAC_Use", "to": "TAC_Use.csv"}, {"arrows": "to", "from": "TAC_Def", "to": "TAC_Def.csv"}, {"arrows": "to", "from": "TAC_Var", "to": "TAC_Var.csv"}, {"arrows": "to", "from": "TAC_Block", "to": "TAC_Block.csv"}, {"arrows": "to", "from": "TAC_Block_Head", "to": "TAC_Block_Head.csv"}, {"arrows": "to", "from": "TAC_Variable_Value", "to": "TAC_Variable_Value.csv"}, {"arrows": "to", "from": "TAC_Variable_BlockValue", "to": "TAC_Variable_BlockValue.csv"}, {"arrows": "to", "from": "StorageContents", "to": "StorageContents.csv"}, {"arrows": "to", "from": "SHA3Decompositions", "to": "SHA3Decompositions.csv"}, {"arrows": "to", "from": "IRFunctionCall", "to": "IRFunctionCall.csv"}, {"arrows": "to", "from": "IRFunctionCallReturn", "to": "IRFunctionCallReturn.csv"}, {"arrows": "to", "from": "IRFunction_Return", "to": "IRFunction_Return.csv"}, {"arrows": "to", "from": "IsFunctionEntry", "to": "Function.csv"}, {"arrows": "to", "from": "FormalArgs", "to": "FormalArgs.csv"}, {"arrows": "to", "from": "ActualReturnArgs", "to": "ActualReturnArgs.csv"}, {"arrows": "to", "from": "LocalBlockEdge", "to": "LocalBlockEdge.csv"}, {"arrows": "to", "from": "HighLevelFunctionName", "to": "HighLevelFunctionName.csv"}, {"arrows": "to", "from": "IRFallthroughEdge", "to": "IRFallthroughEdge.csv"}, {"arrows": "to", "from": "Mask_Length", "to": "Mask_Length.csv"}, {"arrows": "to", "from": "IRInFunction", "to": "InFunction.csv"}, {"arrows": "to", "from": "IRFunctionEntry", "to": "IRFunctionEntry.csv"}, {"arrows": "to", "from": "TAC_Statement_Next", "to": "TAC_Statement_Next.csv"}, {"arrows": "to", "from": "TAC_OriginalStatement_Block", "to": "TAC_OriginalStatement_Block.csv"}, {"arrows": "to", "from": "TAC_Block_CodeChunkAccessed", "to": "TAC_Block_CodeChunkAccessed.csv"}, {"arrows": "to", "from": "TAC_Block_Gas", "to": "TAC_Block_Gas.csv"}, {"arrows": "to", "from": "UnmappedStatements", "to": "UnmappedStatements.csv"}, {"arrows": "to", "from": "EventSignature.facts", "to": "EventSignature"}, {"arrows": "to", "from": "EventSignatureInContract", "to": "EventSignatureInContract.csv"}, {"arrows": "to", "from": "Helper_Zeros", "to": "Helper_Zeros.csv"}, {"arrows": "to", "from": "ConstantPossibleSigHash", "to": "ConstantPossibleSigHash.csv"}, {"arrows": "to", "from": "Analytics_Functions", "to": "Analytics_Functions.csv"}, {"arrows": "to", "from": "Analytics_Jumps", "to": "Analytics_Jumps.csv"}, {"arrows": "to", "from": "Analytics_ReachableBlocks", "to": "Analytics_ReachableBlocks.csv"}, {"arrows": "to", "from": "Analytics_Contexts", "to": "Analytics_Contexts.csv"}, {"arrows": "to", "from": "Analytics_ReachableUnderContext", "to": "Analytics_ReachableUnderContext.csv"}, {"arrows": "to", "from": "Analytics_ReachableBlocksInTAC", "to": "Analytics_ReachableBlocksInTAC.csv"}, {"arrows": "to", "from": "Analytics_BlockHasNoTACBlock", "to": "Analytics_BlockHasNoTACBlock.csv"}, {"arrows": "to", "from": "Analytics_Blocks", "to": "Analytics_Blocks.csv"}, {"arrows": "to", "from": "Analytics_DeadBlocks", "to": "Analytics_DeadBlocks.csv"}, {"arrows": "to", "from": "Analytics_UnknownOperand", "to": "Analytics_UnknownOperand.csv"}, {"arrows": "to", "from": "Analytics_MissingImplementation", "to": "Analytics_MissingImplementation.csv"}, {"arrows": "to", "from": "Analytics_PolymorphicTarget", "to": "Analytics_PolymorphicTarget.csv"}, {"arrows": "to", "from": "Analytics_PolymorphicTargetSameCtx", "to": "Analytics_PolymorphicTargetSameCtx.csv"}, {"arrows": "to", "from": "Analytics_MissingJumpTargetAnyCtx", "to": "Analytics_MissingJumpTargetAnyCtx.csv"}, {"arrows": "to", "from": "Analytics_MissingJumpTargetSomeCtx", "to": "Analytics_MissingJumpTargetSomeCtx.csv"}, {"arrows": "to", "from": "Analytics_StmtMissingOperand", "to": "Analytics_StmtMissingOperand.csv"}, {"arrows": "to", "from": "Analytics_InexactFunctionArguments", "to": "Analytics_InexactFunctionArguments.csv"}, {"arrows": "to", "from": "Analytics_InexactFunctionReturnArguments", "to": "Analytics_InexactFunctionReturnArguments.csv"}, {"arrows": "to", "from": "Analytics_InexactFunctionCallArguments", "to": "Analytics_InexactFunctionCallArguments.csv"}, {"arrows": "to", "from": "Analytics_BlockInMultipleFunctions", "to": "Analytics_BlockInMultipleFunctions.csv"}, {"arrows": "to", "from": "Analytics_BlockInNoFunctions", "to": "Analytics_BlockInNoFunctions.csv"}, {"arrows": "to", "from": "Analytics_BlocksLocalOrNot", "to": "Analytics_BlocksLocalOrNot.csv"}, {"arrows": "to", "from": "Analytics_UnreachableBlock", "to": "Analytics_UnreachableBlock.csv"}, {"arrows": "to", "from": "Analytics_FunctionCall", "to": "Analytics_FunctionCall.csv"}, {"arrows": "to", "from": "Analytics_FunctionCallWithReturn", "to": "Analytics_FunctionCallWithReturn.csv"}, {"arrows": "to", "from": "Analytics_FunctionWithMultipleReturns", "to": "Analytics_FunctionWithMultipleReturns.csv"}, {"arrows": "to", "from": "Analytics_PublicFunction", "to": "Analytics_PublicFunction.csv"}, {"arrows": "to", "from": "Analytics_PublicFunctionNameResolved", "to": "Analytics_PublicFunctionNameResolved.csv"}, {"arrows": "to", "from": "Analytics_DoubleDef", "to": "Analytics_DoubleDef.csv"}, {"arrows": "to", "from": "Analytics_BlockIsEmpty", "to": "Analytics_BlockIsEmpty.csv"}, {"arrows": "to", "from": "Analytics_JumpToMany", "to": "Analytics_JumpToMany.csv"}, {"arrows": "to", "from": "Analytics_JumpToManyNonPopBlock", "to": "Analytics_JumpToManyNonPopBlock.csv"}, {"arrows": "to", "from": "Analytics_JumpToManyWithoutGlobalImprecision", "to": "Analytics_JumpToManyWithoutGlobalImprecision.csv"}, {"arrows": "to", "from": "Analytics_InitiallyMissedCycleEntry", "to": "Analytics_InitiallyMissedCycleEntry.csv"}, {"arrows": "to", "from": "Analytics_LocalBlockEdge", "to": "Analytics_LocalBlockEdge.csv"}, {"arrows": "to", "from": "ByteCodeHex", "to": "bytecode.hex"}, {"arrows": "to", "from": "OpcodePossiblyHalts", "to": "OpcodePossiblyHalts.csv"}, {"arrows": "to", "from": "IRBlockEdge", "to": "IRBlockEdge.csv"}, {"arrows": "to", "from": "IRPublicFunction", "to": "PublicFunction.csv"}, {"arrows": "to", "from": "Statement_IRStatement", "to": "Statement_IRStatement.csv"}, {"arrows": "to", "from": "CycleEntry", "to": "CycleEntry.csv"}, {"arrows": "to", "from": "PHILocation", "to": "PHILocation.csv"}, {"arrows": "to", "from": "TAC_Op", "to": "TAC_Op.csv"}, {"arrows": "to", "from": "TAC_Stmt", "to": "TAC_Stmt.csv"}, {"arrows": "to", "from": "TAC_Use", "to": "TAC_Use.csv"}, {"arrows": "to", "from": "TAC_Def", "to": "TAC_Def.csv"}, {"arrows": "to", "from": "TAC_Var", "to": "TAC_Var.csv"}, {"arrows": "to", "from": "TAC_Block", "to": "TAC_Block.csv"}, {"arrows": "to", "from": "TAC_Block_Head", "to": "TAC_Block_Head.csv"}, {"arrows": "to", "from": "TAC_Variable_Value", "to": "TAC_Variable_Value.csv"}, {"arrows": "to", "from": "TAC_Variable_BlockValue", "to": "TAC_Variable_BlockValue.csv"}, {"arrows": "to", "from": "StorageContents", "to": "StorageContents.csv"}, {"arrows": "to", "from": "SHA3Decompositions", "to": "SHA3Decompositions.csv"}, {"arrows": "to", "from": "IRFunctionCall", "to": "IRFunctionCall.csv"}, {"arrows": "to", "from": "IRFunctionCallReturn", "to": "IRFunctionCallReturn.csv"}, {"arrows": "to", "from": "IRFunction_Return", "to": "IRFunction_Return.csv"}, {"arrows": "to", "from": "IsFunctionEntry", "to": "Function.csv"}, {"arrows": "to", "from": "FormalArgs", "to": "FormalArgs.csv"}, {"arrows": "to", "from": "ActualReturnArgs", "to": "ActualReturnArgs.csv"}, {"arrows": "to", "from": "LocalBlockEdge", "to": "LocalBlockEdge.csv"}, {"arrows": "to", "from": "HighLevelFunctionName", "to": "HighLevelFunctionName.csv"}, {"arrows": "to", "from": "IRFallthroughEdge", "to": "IRFallthroughEdge.csv"}, {"arrows": "to", "from": "Mask_Length", "to": "Mask_Length.csv"}, {"arrows": "to", "from": "IRInFunction", "to": "InFunction.csv"}, {"arrows": "to", "from": "IRFunctionEntry", "to": "IRFunctionEntry.csv"}, {"arrows": "to", "from": "TAC_Statement_Next", "to": "TAC_Statement_Next.csv"}, {"arrows": "to", "from": "TAC_OriginalStatement_Block", "to": "TAC_OriginalStatement_Block.csv"}, {"arrows": "to", "from": "TAC_Block_CodeChunkAccessed", "to": "TAC_Block_CodeChunkAccessed.csv"}, {"arrows": "to", "from": "TAC_Block_Gas", "to": "TAC_Block_Gas.csv"}, {"arrows": "to", "from": "UnmappedStatements", "to": "UnmappedStatements.csv"}, {"arrows": "to", "from": "EventSignature.facts", "to": "EventSignature"}, {"arrows": "to", "from": "EventSignatureInContract", "to": "EventSignatureInContract.csv"}, {"arrows": "to", "from": "ConstantPossibleSigHash", "to": "ConstantPossibleSigHash.csv"}, {"arrows": "to", "from": "PublicFunctionSignature.facts", "to": "PublicFunctionSignature"}, {"arrows": "to", "from": "Analytics_Functions", "to": "Analytics_Functions.csv"}, {"arrows": "to", "from": "Analytics_Jumps", "to": "Analytics_Jumps.csv"}, {"arrows": "to", "from": "Analytics_ReachableBlocks", "to": "Analytics_ReachableBlocks.csv"}, {"arrows": "to", "from": "Analytics_Contexts", "to": "Analytics_Contexts.csv"}, {"arrows": "to", "from": "Analytics_ReachableUnderContext", "to": "Analytics_ReachableUnderContext.csv"}, {"arrows": "to", "from": "Analytics_ReachableBlocksInTAC", "to": "Analytics_ReachableBlocksInTAC.csv"}, {"arrows": "to", "from": "Analytics_BlockHasNoTACBlock", "to": "Analytics_BlockHasNoTACBlock.csv"}, {"arrows": "to", "from": "Analytics_Blocks", "to": "Analytics_Blocks.csv"}, {"arrows": "to", "from": "Analytics_DeadBlocks", "to": "Analytics_DeadBlocks.csv"}, {"arrows": "to", "from": "Analytics_UnknownOperand", "to": "Analytics_UnknownOperand.csv"}, {"arrows": "to", "from": "Analytics_MissingImplementation", "to": "Analytics_MissingImplementation.csv"}, {"arrows": "to", "from": "Analytics_PolymorphicTarget", "to": "Analytics_PolymorphicTarget.csv"}, {"arrows": "to", "from": "Analytics_PolymorphicTargetSameCtx", "to": "Analytics_PolymorphicTargetSameCtx.csv"}, {"arrows": "to", "from": "Analytics_MissingJumpTargetAnyCtx", "to": "Analytics_MissingJumpTargetAnyCtx.csv"}, {"arrows": "to", "from": "Analytics_MissingJumpTargetSomeCtx", "to": "Analytics_MissingJumpTargetSomeCtx.csv"}, {"arrows": "to", "from": "Analytics_StmtMissingOperand", "to": "Analytics_StmtMissingOperand.csv"}, {"arrows": "to", "from": "Analytics_InexactFunctionArguments", "to": "Analytics_InexactFunctionArguments.csv"}, {"arrows": "to", "from": "Analytics_InexactFunctionReturnArguments", "to": "Analytics_InexactFunctionReturnArguments.csv"}, {"arrows": "to", "from": "Analytics_InexactFunctionCallArguments", "to": "Analytics_InexactFunctionCallArguments.csv"}, {"arrows": "to", "from": "Analytics_BlockInMultipleFunctions", "to": "Analytics_BlockInMultipleFunctions.csv"}, {"arrows": "to", "from": "Analytics_BlockInNoFunctions", "to": "Analytics_BlockInNoFunctions.csv"}, {"arrows": "to", "from": "Analytics_BlocksLocalOrNot", "to": "Analytics_BlocksLocalOrNot.csv"}, {"arrows": "to", "from": "Analytics_UnreachableBlock", "to": "Analytics_UnreachableBlock.csv"}, {"arrows": "to", "from": "Analytics_FunctionCall", "to": "Analytics_FunctionCall.csv"}, {"arrows": "to", "from": "Analytics_FunctionCallWithReturn", "to": "Analytics_FunctionCallWithReturn.csv"}, {"arrows": "to", "from": "Analytics_FunctionWithMultipleReturns", "to": "Analytics_FunctionWithMultipleReturns.csv"}, {"arrows": "to", "from": "Analytics_PublicFunction", "to": "Analytics_PublicFunction.csv"}, {"arrows": "to", "from": "Analytics_PublicFunctionNameResolved", "to": "Analytics_PublicFunctionNameResolved.csv"}, {"arrows": "to", "from": "Analytics_DoubleDef", "to": "Analytics_DoubleDef.csv"}, {"arrows": "to", "from": "Analytics_BlockIsEmpty", "to": "Analytics_BlockIsEmpty.csv"}, {"arrows": "to", "from": "Analytics_JumpToMany", "to": "Analytics_JumpToMany.csv"}, {"arrows": "to", "from": "Analytics_JumpToManyNonPopBlock", "to": "Analytics_JumpToManyNonPopBlock.csv"}, {"arrows": "to", "from": "Analytics_JumpToManyWithoutGlobalImprecision", "to": "Analytics_JumpToManyWithoutGlobalImprecision.csv"}, {"arrows": "to", "from": "Analytics_InitiallyMissedCycleEntry", "to": "Analytics_InitiallyMissedCycleEntry.csv"}, {"arrows": "to", "from": "Analytics_LocalBlockEdge", "to": "Analytics_LocalBlockEdge.csv"}, {"arrows": "to", "from": "BlockEdge", "to": "BlockEdge.csv"}, {"arrows": "to", "from": "FallthroughEdge", "to": "FallthroughEdge.csv"}, {"arrows": "to", "from": "BlockJumpValidTarget", "to": "BlockJumpValidTarget.csv"}, {"arrows": "to", "from": "BlockJumpTarget", "to": "BlockJumpTarget.csv"}, {"arrows": "to", "from": "MaybeInFunctionUnderContext", "to": "MaybeInFunctionUnderContext.csv"}, {"arrows": "to", "from": "NotValidReturnBlock", "to": "NotValidReturnBlock.csv"}, {"arrows": "to", "from": "NotValidReturnEdge", "to": "NotValidReturnEdge.csv"}, {"arrows": "to", "from": "MaybeFunctionCallReturn", "to": "MaybeFunctionCallReturn.csv"}, {"arrows": "to", "from": "PotentialCall", "to": "PotentialCall.csv"}, {"arrows": "to", "from": "PossibleReturnAddressWithPos", "to": "PossibleReturnAddressWithPos.csv"}, {"arrows": "to", "from": "IsFunctionCallReturn", "to": "IsFunctionCallReturn.csv"}, {"arrows": "to", "from": "IsFunctionEntry", "to": "IsFunctionEntry.csv"}, {"arrows": "to", "from": "IsFunctionCall", "to": "IsFunctionCall.csv"}, {"arrows": "to", "from": "BlockToClone", "to": "BlockToClone.csv"}, {"arrows": "to", "from": "MaybeInFunction", "to": "MaybeInFunction.csv"}, {"arrows": "to", "from": "PossibleImpreciseNumberOfFunctionArguments", "to": "PossibleImpreciseNumberOfFunctionArguments.csv"}, {"arrows": "to", "from": "PossibleFunctionalBlockPopAndStackDelta", "to": "PossibleFunctionalBlockPopAndStackDelta.csv"}, {"arrows": "to", "from": "MaxRankForPossibleReturnAddressSetter", "to": "MaxRankForPossibleReturnAddressSetter.csv"}, {"arrows": "to", "from": "PossibleNumberOfFunctionArguments", "to": "PossibleNumberOfFunctionArguments.csv"}, {"arrows": "to", "from": "PossibleNumberOfFunctionReturnArguments", "to": "PossibleNumberOfFunctionReturnArguments.csv"}, {"arrows": "to", "from": "PossibleCombinedNumberOfFunctionReturnsAndArguments", "to": "PossibleCombinedNumberOfFunctionReturnsAndArguments.csv"}, {"arrows": "to", "from": "NumberOfFunctionArguments", "to": "NumberOfFunctionArguments.csv"}, {"arrows": "to", "from": "NumberOfFunctionReturnArguments", "to": "NumberOfFunctionReturnArguments.csv"}, {"arrows": "to", "from": "Variable_String", "to": "Variable_String.csv"}, {"arrows": "to", "from": "ContextOrd", "to": "ContextOrd.csv"}, {"arrows": "to", "from": "BlockEdgeOrd", "to": "BlockEdgeOrd.csv"}, {"arrows": "to", "from": "BlockOutputContentsOrd", "to": "BlockOutputContentsOrd.csv"}, {"arrows": "to", "from": "BlockInputContentsOrd", "to": "BlockInputContentsOrd.csv"}, {"arrows": "to", "from": "BlockJumpTargetOrd", "to": "BlockJumpTargetOrd.csv"}, {"arrows": "to", "from": "BlockJumpValidTargetOrd", "to": "BlockJumpValidTargetOrd.csv"}, {"arrows": "to", "from": "MergeContextOrd", "to": "MergeContextOrd.csv"}, {"arrows": "to", "from": "ReachableContextOrd", "to": "ReachableContextOrd.csv"}, {"arrows": "to", "from": "IsFunctionCallReturnOrd", "to": "IsFunctionCallReturnOrd.csv"}, {"arrows": "to", "from": "MaybeFunctionCallReturnOrd", "to": "MaybeFunctionCallReturnOrd.csv"}, {"arrows": "to", "from": "PossibleReturnAddressWithRankOrd", "to": "PossibleReturnAddressWithRankOrd.csv"}, {"arrows": "to", "from": "MaybeInFunctionUnderContextOrd", "to": "MaybeInFunctionUnderContextOrd.csv"}, {"arrows": "to", "from": "Out_Statement_Opcode", "to": "Out_Statement_Opcode.csv"}, {"arrows": "to", "from": "Out_Statement_Next", "to": "Out_Statement_Next.csv"}, {"arrows": "to", "from": "Out_PushValue", "to": "Out_PushValue.csv"}, {"arrows": "to", "from": "Statement_Opcode", "to": "Statement_Opcode.csv"}, {"arrows": "to", "from": "Statement_Next", "to": "Statement_Next.csv"}, {"arrows": "to", "from": "PushValue", "to": "PushValue.csv"}, {"arrows": "to", "from": "StatementToClonedStatement", "to": "StatementToClonedStatement.csv"}, {"arrows": "to", "from": "Block_OriginalBlock", "to": "Block_OriginalBlock.csv"}, {"arrows": "to", "from": "BlockToClone", "to": "BlockToClone.csv"}, {"arrows": "to", "from": "DirectBlockEdge", "to": "DirectBlockEdge.csv"}, {"arrows": "to", "from": "BlockPushedToStack", "to": "BlockPushedToStack.csv"}, {"arrows": "to", "from": "BlockPushesBlockToStack", "to": "BlockPushesBlockToStack.csv"}, {"arrows": "to", "from": "BlockToCloneNewInstance", "to": "BlockToCloneNewInstance.csv"}, {"arrows": "to", "from": "ClonedBlockAddressPushedBy", "to": "ClonedBlockAddressPushedBy.csv"}, {"arrows": "to", "from": "PossibleCallerWithReturn", "to": "PossibleCallerWithReturn.csv"}, {"arrows": "to", "from": "BlockPushesCloningCandidate", "to": "BlockPushesCloningCandidate.csv"}, {"arrows": "to", "from": "analysis.StackBalanceBlock", "to": "analysis.StackBalanceBlock.csv"}, {"arrows": "to", "from": "BlockCloningCandidate", "to": "BlockCloningCandidate.csv"}, {"arrows": "to", "from": "Fail", "to": "Fail.csv"}, {"arrows": "to", "from": "Out_Statement_Opcode", "to": "Out_Statement_Opcode.csv"}, {"arrows": "to", "from": "Out_Statement_Next", "to": "Out_Statement_Next.csv"}, {"arrows": "to", "from": "Out_PushValue", "to": "Out_PushValue.csv"}, {"arrows": "to", "from": "Statement_Opcode", "to": "Statement_Opcode.csv"}, {"arrows": "to", "from": "Statement_Next", "to": "Statement_Next.csv"}, {"arrows": "to", "from": "PushValue", "to": "PushValue.csv"}, {"arrows": "to", "from": "StatementToClonedStatement", "to": "StatementToClonedStatement.csv"}, {"arrows": "to", "from": "Block_OriginalBlock", "to": "Block_OriginalBlock.csv"}, {"arrows": "to", "from": "BlockToClone", "to": "BlockToClone.csv"}, {"arrows": "to", "from": "DirectBlockEdge", "to": "DirectBlockEdge.csv"}, {"arrows": "to", "from": "BlockPushedToStack", "to": "BlockPushedToStack.csv"}, {"arrows": "to", "from": "BlockPushesBlockToStack", "to": "BlockPushesBlockToStack.csv"}, {"arrows": "to", "from": "BlockToCloneNewInstance", "to": "BlockToCloneNewInstance.csv"}, {"arrows": "to", "from": "ClonedBlockAddressPushedBy", "to": "ClonedBlockAddressPushedBy.csv"}, {"arrows": "to", "from": "PossibleCallerWithReturn", "to": "PossibleCallerWithReturn.csv"}, {"arrows": "to", "from": "BlockPushesCloningCandidate", "to": "BlockPushesCloningCandidate.csv"}, {"arrows": "to", "from": "analysis.StackBalanceBlock", "to": "analysis.StackBalanceBlock.csv"}, {"arrows": "to", "from": "BlockCloningCandidate", "to": "BlockCloningCandidate.csv"}, {"arrows": "to", "from": "bytecode.hex", "to": "ByteCodeHex"}, {"arrows": "to", "from": "bytecode.hex", "to": "_ByteCodeHex"}, {"arrows": "to", "from": "StackBalanceBlockTargetEscapes", "to": "StackBalanceBlockTargetEscapes.csv"}, {"arrows": "to", "from": "BlockComparesSigVyper", "to": "BlockComparesSigVyper.csv"}, {"arrows": "to", "from": "PushValue.facts", "to": "PushValue"}, {"arrows": "to", "from": "Statement_Opcode.facts", "to": "Statement_Opcode"}, {"arrows": "to", "from": "Statement_Next.facts", "to": "Statement_Next"}, {"arrows": "to", "from": "Fail", "to": "Fail.csv"}, {"arrows": "to", "from": "Out_Statement_Opcode", "to": "Out_Statement_Opcode.csv"}, {"arrows": "to", "from": "Out_Statement_Next", "to": "Out_Statement_Next.csv"}, {"arrows": "to", "from": "Out_PushValue", "to": "Out_PushValue.csv"}, {"arrows": "to", "from": "Statement_Opcode", "to": "Statement_Opcode.csv"}, {"arrows": "to", "from": "Statement_Next", "to": "Statement_Next.csv"}, {"arrows": "to", "from": "PushValue", "to": "PushValue.csv"}, {"arrows": "to", "from": "StatementToClonedStatement", "to": "StatementToClonedStatement.csv"}, {"arrows": "to", "from": "Block_OriginalBlock", "to": "Block_OriginalBlock.csv"}, {"arrows": "to", "from": "BlockToClone", "to": "BlockToClone.csv"}, {"arrows": "to", "from": "DirectBlockEdge", "to": "DirectBlockEdge.csv"}, {"arrows": "to", "from": "BlockPushedToStack", "to": "BlockPushedToStack.csv"}, {"arrows": "to", "from": "BlockPushesBlockToStack", "to": "BlockPushesBlockToStack.csv"}, {"arrows": "to", "from": "BlockToCloneNewInstance", "to": "BlockToCloneNewInstance.csv"}, {"arrows": "to", "from": "ClonedBlockAddressPushedBy", "to": "ClonedBlockAddressPushedBy.csv"}, {"arrows": "to", "from": "PossibleCallerWithReturn", "to": "PossibleCallerWithReturn.csv"}, {"arrows": "to", "from": "BlockPushesCloningCandidate", "to": "BlockPushesCloningCandidate.csv"}, {"arrows": "to", "from": "analysis.StackBalanceBlock", "to": "analysis.StackBalanceBlock.csv"}, {"arrows": "to", "from": "BlockCloningCandidate", "to": "BlockCloningCandidate.csv"}, {"arrows": "to", "from": "bytecode.hex", "to": "ByteCodeHex"}, {"arrows": "to", "from": "bytecode.hex", "to": "_ByteCodeHex"}, {"arrows": "to", "from": "StackBalanceBlockTargetEscapes", "to": "StackBalanceBlockTargetEscapes.csv"}, {"arrows": "to", "from": "BlockComparesSigVyper", "to": "BlockComparesSigVyper.csv"}, {"arrows": "to", "from": "PushValue.facts", "to": "PushValue"}, {"arrows": "to", "from": "Statement_Opcode.facts", "to": "Statement_Opcode"}, {"arrows": "to", "from": "Statement_Next.facts", "to": "Statement_Next"}, {"arrows": "to", "from": "PreAnalysisFeaturesContract", "to": "PreAnalysisFeaturesContract.csv"}, {"arrows": "to", "from": "PreAnalysisFeatures", "to": "PreAnalysisFeatures.csv"}, {"arrows": "to", "from": "BlockAtGreaterOrEqualDepth", "to": "BlockAtGreaterOrEqualDepth.csv"}, {"arrows": "to", "from": "ContradictoryDepth", "to": "ContradictoryDepth.csv"}, {"arrows": "to", "from": "BlockEdge", "to": "BlockEdge.csv"}, {"arrows": "to", "from": "discovery0.FunctionCall", "to": "discovery0.FunctionCall.csv"}, {"arrows": "to", "from": "discovery1.FunctionCall", "to": "discovery1.FunctionCall.csv"}, {"arrows": "to", "from": "discovery2.FunctionCall", "to": "discovery2.FunctionCall.csv"}, {"arrows": "to", "from": "discovery3.FunctionCall", "to": "discovery3.FunctionCall.csv"}, {"arrows": "to", "from": "discovery0.InFunction", "to": "discovery0.InFunction.csv"}, {"arrows": "to", "from": "discovery1.InFunction", "to": "discovery1.InFunction.csv"}, {"arrows": "to", "from": "discovery2.InFunction", "to": "discovery2.InFunction.csv"}, {"arrows": "to", "from": "discovery3.InFunction", "to": "discovery3.InFunction.csv"}, {"arrows": "to", "from": "discovery0.FunctionEntry", "to": "discovery0.FunctionEntry.csv"}, {"arrows": "to", "from": "discovery1.FunctionEntry", "to": "discovery1.FunctionEntry.csv"}, {"arrows": "to", "from": "discovery2.FunctionEntry", "to": "discovery2.FunctionEntry.csv"}, {"arrows": "to", "from": "discovery3.FunctionEntry", "to": "discovery3.FunctionEntry.csv"}, {"arrows": "to", "from": "discovery0.ContinuationEntry", "to": "discovery0.ContinuationEntry.csv"}, {"arrows": "to", "from": "discovery1.ContinuationEntry", "to": "discovery1.ContinuationEntry.csv"}, {"arrows": "to", "from": "discovery2.ContinuationEntry", "to": "discovery2.ContinuationEntry.csv"}, {"arrows": "to", "from": "discovery3.ContinuationEntry", "to": "discovery3.ContinuationEntry.csv"}, {"arrows": "to", "from": "discovery0.InContinuation", "to": "discovery0.InContinuation.csv"}, {"arrows": "to", "from": "discovery1.InContinuation", "to": "discovery1.InContinuation.csv"}, {"arrows": "to", "from": "discovery2.InContinuation", "to": "discovery2.InContinuation.csv"}, {"arrows": "to", "from": "discovery3.InContinuation", "to": "discovery3.InContinuation.csv"}, {"arrows": "to", "from": "CommonReturnAddress", "to": "CommonReturnAddress.csv"}, {"arrows": "to", "from": "IsCallReturn", "to": "IsCallReturn.csv"}, {"arrows": "to", "from": "IsCallCall", "to": "IsCallCall.csv"}, {"arrows": "to", "from": "MaxContextDepth.csv", "to": "InputMaxContextDepth"}, {"arrows": "to", "from": "DropLast", "to": "DropLast.csv"}, {"arrows": "to", "from": "MaxContextDepth.csv", "to": "InputMaxContextDepth"}, {"arrows": "to", "from": "DropLast", "to": "DropLast.csv"}, {"arrows": "to", "from": "A.facts", "to": "A"}, {"arrows": "to", "from": "B.facts", "to": "B"}, {"arrows": "to", "from": "O", "to": "O.csv"}, {"arrows": "to", "from": "Hash", "to": "Hash.csv"}]);

        // adding nodes and edges to the graph
        data = {nodes: nodes, edges: edges};

        var options = {
    "configure": {
        "enabled": true,
        "filter": [
            "physics"
        ]
    },
    "edges": {
        "color": {
            "inherit": true
        },
        "smooth": {
            "enabled": false,
            "type": "continuous"
        }
    },
    "interaction": {
        "dragNodes": true,
        "hideEdgesOnDrag": false,
        "hideNodesOnDrag": false
    },
    "physics": {
        "enabled": true,
        "stabilization": {
            "enabled": true,
            "fit": true,
            "iterations": 1000,
            "onlyDynamicEdges": false,
            "updateInterval": 50
        }
    }
};
        
        

        
        // if this network requires displaying the configure window,
        // put it in its div
        options.configure["container"] = document.getElementById("config");
        

        network = new vis.Network(container, data, options);
	 
        


        
        network.on("stabilizationProgress", function(params) {
      		document.getElementById('loadingBar').removeAttribute("style");
	        var maxWidth = 496;
	        var minWidth = 20;
	        var widthFactor = params.iterations/params.total;
	        var width = Math.max(minWidth,maxWidth * widthFactor);

	        document.getElementById('bar').style.width = width + 'px';
	        document.getElementById('text').innerHTML = Math.round(widthFactor*100) + '%';
	    });
	    network.once("stabilizationIterationsDone", function() {
	        document.getElementById('text').innerHTML = '100%';
	        document.getElementById('bar').style.width = '496px';
	        document.getElementById('loadingBar').style.opacity = 0;
	        // really clean the dom element
	        setTimeout(function () {document.getElementById('loadingBar').style.display = 'none';}, 500);
	    });
        

        return network;

    }

    drawGraph();

</script>
</body>
</html>